Resolution-Based Approximate Reasoning for OWL DL
Published: 2005 November
Herausgeber: Y. Gil et al.
Buchtitel: Proceedings of the 4th International Semantic Web Conference, Galway, Ireland, November 2005
Reihe: Lecture Notes in Computer Science
Verlag: Springer, Berlin
We propose a new technique for approximate ABox reasoning with OWL DL ontologies. It comes as a side-product of recent research results on the relationship between OWL DL and disjunctive datalog [1–4]. Essentially, it relies on a new transformation of OWL DL ontologies into negation-free disjunctive datalog, and 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.