Explaining by Example: Model Exploration for Ontology Comprehension.

Johannes Bauer Ulrike Sattler Bijan Parsia Explaining by Example: Model Exploration for Ontology Comprehension. 2009 Description Logics http://ceur-ws.org/Vol-477/paper_37.pdf conf/dlog/2009 db/conf/dlog/dlog2009.html#BauerSP09