SoNic1 is the first prototype implementation of nonstandard 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].
CITATION STYLE
Turban, A. Y., & Kissig, C. (2004). SONIC -non-standard inferences go oiled. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3097, pp. 321–325). https://doi.org/10.1007/978-3-540-25984-8_22
Mendeley helps you to discover research relevant for your work.