Sonic - Non-standard Inferences Go OilEd

Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twofold: it extends an earlier implementation of the least common subsumer and of the approximation inference to number restrictions, and it offers these reasoning services via an extension of the graphical ontology editor OilEd [3].

• Type: Conference
• Year: 2004
• Where: CADE
• Authors: Anni-Yasmin Turhan, Christian Kissig
• Keywords: Automated Reasoning, CADE 2004, Graphical Ontology Editor, Graphical User Interface, Non-standard Inferences