Creative Commons Attribution 4.0 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: https://drops.dagstuhl.de/opus/volltexte/2006/480/
Hitzler, Pascal ; Vrandecic, Denny
Faster OWL Using Split Programs
| pdf-format: |
|
Abstract
We propose a new technique for approximate ABox reasoningwith 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 | |
| Seminar: | 05371 - Principles and Practices of Semantic Web Reasoning | |
| Issue date: | 2006 | |
| Date of publication: | 23.02.2006 |
