Approximate OWL-Reasoning with Screech

Tuvshintur TserendorjTuvshintur Tserendorj, Sebastian RudolphSebastian Rudolph, Pascal HitzlerPascal Hitzler, Markus KrötzschMarkus Krötzsch

ISBN: 978-3-540-88736-2

Tuvshintur Tserendorj, Sebastian Rudolph, Pascal Hitzler, Markus Krötzsch
Approximate OWL-Reasoning with Screech
In Diego Calvanese and Georg Lausen, eds., Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, volume 5341 of LNCS, 165-180, October 2008. Springer

Details
Bibtex

KurzfassungAbstract
With the increasing interest in expressive ontologies for the Semantic Web, it is critical to develop scalable and efficient ontology reasoning techniques that can properly cope with very high data volumes. For certain application domains, approximate reasoning solutions, which trade soundness or completeness for inctreased reasoning speed, will help to deal with the high computational complexities which state of the art ontology reasoning tools have to face. In this paper, we present a comprehensive overview of the SCREECH approach to approximate reasoning with OWL ontologies, which is based on the KAON2 algorithms, facilitating a compilation of OWL DL TBoxes into Datalog, which is tractable in terms of data complexity. We present three different instantiations of the Screech approach, and report on experiments which show that the gain in efficiency outweighs the number of introduced mistakes in the reasoning process.
Projekt:Project: ReaSem, NeOn
Forschungsgruppe:Research Group: Wissensmanagement„Wissensmanagement“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Wissensmanagement

The final publication is available at Springer.

@inproceedings{TRHK2008,
  author    = {Tuvshintur Tserendorj and Sebastian Rudolph and Pascal Hitzler
               and Markus Kr{\"{o}}tzsch},
  title     = {Approximate {OWL-Reasoning} with Screech},
  editor    = {Diego Calvanese and Georg Lausen},
  booktitle = {Web Reasoning and Rule Systems, Second International Conference,
               {RR} 2008, Karlsruhe, Germany, October 31-November 1, 2008.
               Proceedings},
  series    = {LNCS},
  volume    = {5341},
  publisher = {Springer},
  year      = {2008},
  month     = {October},
  pages     = {165-180}
}