Explaining by Example: Model Exploration for Ontology Comprehension
Johannes Bauer, Ulrike Sattler, Bijan Parsia · 2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactively. We also discuss the issues involved in using tableau reasoners for the generation of models for model exploration and report on a user study we conducted on our prototype implementation, SuperModel, to evaluate its effectiveness in supporting users in understanding an ontology. 1