A case for abductive reasoning over ontologies. (2006)

by C Elsenbroich, O Kutz, U Sattler
Venue:In Proceedings of OWL: Experiences and Directions.