Complexity of Axiom Pinpointing in the DL-Lite Family
Rafael Peñaloza, Barış Sertkaya · 2010
In real world applications where ontologies are employed, often the knowledge engineer not only wants to know whether her ontology has a certain (unwanted) consequence or not, but also wants to know why it has this consequence. Even for ontologies of moderate size, finding explanations for a given consequence is