Faster OWL Using Split Programs

Hitzler, Pascal; Vrandecic, Denny

doi:10.4230/DagSemProc.05371.5

Document

Faster OWL Using Split Programs

Authors Pascal Hitzler, Denny Vrandecic

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 5371
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2006-02-23

PDF

File

PDF

DagSemProc.05371.5.pdf

Filesize: 105 kB
2 pages

Document Identifiers

DOI: 10.4230/DagSemProc.05371.5
URN: urn:nbn:de:0030-drops-4803

Subject Classification

Keywords

OWL DL
Approximate Reasoning
Logic Programming

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Pascal Hitzler

Denny Vrandecic

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail