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 [1,2,3,4], 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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Hitzler, P., & Vrandečić, D. (2005). Resolution-based approximate reasoning for OWL DL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3729 LNCS, pp. 383–397). https://doi.org/10.1007/11574620_29
Mendeley helps you to discover research relevant for your work.