License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05371.5
URN: urn:nbn:de:0030-drops-4803
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/480/
|
Go to the corresponding Portal |
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:DagSemProc.05371.5,
author = {Hitzler, Pascal and Vrandecic, Denny},
title = {{Faster OWL Using Split Programs}},
booktitle = {Principles and Practices of Semantic Web Reasoning},
pages = {1--2},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5371},
editor = {Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2006/480},
URN = {urn:nbn:de:0030-drops-4803},
doi = {10.4230/DagSemProc.05371.5},
annote = {Keywords: OWL DL, Approximate Reasoning, Logic Programming}
}
|
Keywords: |
|
OWL DL, Approximate Reasoning, Logic Programming |
|
Collection: |
|
05371 - Principles and Practices of Semantic Web Reasoning |
|
Issue Date: |
|
2006 |
|
Date of publication: |
|
23.02.2006 |
