Turhan, Anni-Yasmin; Kissig, Christian Sonic – non-standard inferences go OilEd. (English) Zbl 1126.68592 Basin, David (ed.) et al., Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22345-2/pbk). Lecture Notes in Computer Science 3097. Lecture Notes in Artificial Intelligence, 321-325 (2004). Summary: Sonic (Sonic stands for “Simple OilEd Non-standard Inference Component”) 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.For the entire collection see [Zbl 1088.68001]. Cited in 2 Documents MSC: 68T27 Logic in artificial intelligence 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) Software:Sonic; Racer; OilEd PDFBibTeX XMLCite \textit{A.-Y. Turhan} and \textit{C. Kissig}, Lect. Notes Comput. Sci. 3097, 321--325 (2004; Zbl 1126.68592) Full Text: DOI