Faster OWL Using Split Programs

Authors Pascal Hitzler, Denny Vrandecic



PDF
Thumbnail PDF

File

DagSemProc.05371.5.pdf
  • Filesize: 105 kB
  • 2 pages

Document Identifiers

Author Details

Pascal Hitzler
Denny Vrandecic

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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail