License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-4803
URL: http://drops.dagstuhl.de/opus/volltexte/2006/480/

Hitzler, Pascal ; Vrandecic, Denny

Faster OWL Using Split Programs

pdf-format:
Dokument 1.pdf (105 KB)


Abstract

We propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we obtain substantially improved reasoning performance by disregarding non-Horn features of OWL DL. Our approach comes as a side-product of recent research results concerning a new transformation of OWL DL ontologies into negation-free disjunctive datalog, and rests on the idea of performing standard resolution over disjunctive rules by treating them as if they were non-disjunctive ones. We analyse our reasoning approach by means of non-monotonic reasoning techniques, and present an implementation, called Screech.

BibTeX - Entry

@InProceedings{hitzler_et_al:DSP:2006:480,
  author =	{Pascal Hitzler and Denny Vrandecic},
  title =	{Faster OWL Using Split Programs},
  booktitle =	{Principles and Practices of Semantic Web Reasoning},
  year =	{2006},
  editor =	{Fran{\c{c}}ois Bry and Fran{\c{c}}ois Fages and Massimo Marchiori and Hans-J{\"u}rgen Ohlbach},
  number =	{05371},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/480},
  annote =	{Keywords: OWL DL, Approximate Reasoning, Logic Programming}
}

Keywords: OWL DL, Approximate Reasoning, Logic Programming
Seminar: 05371 - Principles and Practices of Semantic Web Reasoning
Issue date: 2006
Date of publication: 23.02.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI