LATPub277

PublikationenPublications

• Nach AutorBy Author
  • Anni-Yasmin TurhanAnni-Yasmin Turhan
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Sonic---System Description

Anni-Yasmin TurhanAnni-Yasmin Turhan,  Christian KissigChristian Kissig

• Download

Anni-Yasmin Turhan, Christian Kissig
Sonic---System Description
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004

• 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

@inproceedings{ TurhanKissigDL2004,
  author = {Anni-Yasmin {Turhan} and Christian {Kissig}},
  booktitle = {Proceedings of the 2004 International Workshop on Description Logics ({DL2004})},
  series = {CEUR-WS},
  title = {{\sc Sonic}---System Description},
  year = {2004},
}