Pushing the SONIC border — SONIC 1.0
From International Center for Computational Logic
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
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},
}