Understanding Entailments in OWL

This paper describes the explanation in OWL landscape. In recent years there has been huge progress, both in theory and implementation, in the area of explaining the causes of entailments in OWL ontologies. This paper charts the course of explanation in OWL and then looks at ways in which user understanding of ontologies might be further improved. Specifically, the use of fine-grained justifications, augmentation of justifications with lemmas, and the provision of browseable models are discussed as methods of further improving user understanding in the context of ontologies and entailments.

• Type: Conference
• Year: 2008
• Where: OWLED
• Authors: Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler
• Keywords: Natural Language Processing, OWL Landscape, OWL Ontologies, OWLED 2008, User Understanding