DagSemProc.05371.5.pdf
- Filesize: 105 kB
- 2 pages
Document
Faster OWL Using Split Programs
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 5371
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-02-23
Cite AsGet BibTex
Pascal Hitzler and Denny Vrandecic. Faster OWL Using Split Programs. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.05371.5
https://doi.org/10.4230/DagSemProc.05371.5
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.
Keywords
- OWL DL
- Approximate Reasoning
- Logic Programming
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads