Resolution-based approximate reasoning for OWL DL

TitleResolution-based approximate reasoning for OWL DL
Publication TypeConference Paper
Year of Publication2005
AuthorsDenny Vrandecic, Pascal Hitzler
Conference NameISWC2005
Conference LocationGalway, Ireland

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.

Full Text

Pascal Hitzler, Denny Vrandecic, 'Resolution-based approximate reasoning for OWL DL,' ISWC2005, Galway, Ireland, November 2005, pp. 383-397.

Related Files: