Pushing the SONIC border — SONIC 1.0

From International Center for Computational Logic

Toggle side column

Pushing the SONIC border — SONIC 1.0

Anni-Yasmin TurhanAnni-Yasmin Turhan
Anni-Yasmin Turhan
Pushing the SONIC border — SONIC 1.0
In Reinhold Letz, eds., FTP 2005 — Fifth International Workshop on First-Order Theorem Proving. Technical Report University of Koblenz, 2005
  • KurzfassungAbstract
    This paper reports on extensions of the Description Logics non-standard inference system SONIC. The recent contributions to the system are two-fold. Firstly, SONIC is extended by two new of non-standard inferences, namely, implementations of the good common subsumer w.r.t. a background terminology and a heuristics for computing a minimal rewriting. Secondly, SONIC is available as a plugin for the well-known ontology editor Protege.
  • Bemerkung: Note: http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-13-2005.pdf
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@incollection{ Turhan-ftp-05,
  author = {Anni-Yasmin {Turhan}},
  booktitle = {FTP 2005 --- Fifth International Workshop on First-Order Theorem Proving},
  editor = {Reinhold {Letz}},
  note = {http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-13-2005.pdf},
  publisher = {Technical Report University of Koblenz},
  title = {Pushing the {SONIC} border --- {SONIC} 1.0},
  type = {Fachberichte Informatik},
  year = {2005},
}