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 As Get 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
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.
Subject Classification
Keywords
- OWL DL
- Approximate Reasoning
- Logic Programming
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads