1 Search Results for "Tserendorj, Tuvshintur"


Document
Approximate OWL Instance Retrieval with SCREECH

Authors: Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, and Tuvshintur Tserendorj

Published in: Dagstuhl Seminar Proceedings, Volume 8091, Logic and Probability for Scene Interpretation (2008)


Abstract
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 increased 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 instance retrieval 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.

Cite as

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, and Tuvshintur Tserendorj. Approximate OWL Instance Retrieval with SCREECH. In Logic and Probability for Scene Interpretation. Dagstuhl Seminar Proceedings, Volume 8091, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{hitzler_et_al:DagSemProc.08091.3,
  author =	{Hitzler, Pascal and Kr\"{o}tzsch, Markus and Rudolph, Sebastian and Tserendorj, Tuvshintur},
  title =	{{Approximate OWL Instance Retrieval with SCREECH}},
  booktitle =	{Logic and Probability for Scene Interpretation},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8091},
  editor =	{Anthony G. Cohn and David C. Hogg and Ralf M\"{o}ller and Bernd Neumann},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08091.3},
  URN =		{urn:nbn:de:0030-drops-16157},
  doi =		{10.4230/DagSemProc.08091.3},
  annote =	{Keywords: Description logics, automated reasoning, approximate reasoning, Horn logic}
}
  • Refine by Author
  • 1 Hitzler, Pascal
  • 1 Krötzsch, Markus
  • 1 Rudolph, Sebastian
  • 1 Tserendorj, Tuvshintur

  • Refine by Classification

  • Refine by Keyword
  • 1 Description logics
  • 1 Horn logic
  • 1 approximate reasoning
  • 1 automated reasoning

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2008

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail