Sonic—Non-standard Inferences go OilEd

Anni-Yasmin TurhanAnni-Yasmin Turhan, Christian KissigChristian Kissig

Download

Anni-Yasmin Turhan, Christian Kissig
Sonic—Non-standard Inferences go OilEd
In D. Basin and M. Rusinowitch, eds., Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, 2004. Springer

Details
Bibtex

KurzfassungAbstract
SONIC (``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.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ TurhanKissigIJCAR04,
  author = {Anni-Yasmin {Turhan} and Christian {Kissig}},
  booktitle = {Proceedings of the 2nd International Joint Conference on Automated Reasoning ({IJCAR'04})},
  editor = {D. {Basin} and M. {Rusinowitch}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {{\sc Sonic}---Non-standard Inferences go {\sc OilEd}},
  volume = {3097},
  year = {2004},
}