Hitzler, Pascal ;
Vrandecic, Denny
Faster OWL Using Split Programs
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: |
|
2006 |
2006
