Pinpointing in the Description Logic EL
Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn · 2007
For a developer or user of a DL-based ontology, it is often quite hard to understand why a certain consequence holds, and even harder to decide how to change the ontology in case the consequence is unwanted. For example, in the current version of the medical ontology SNOMED [16], the concept Amputationof-Finger