Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL

摘要: Snomed ct is a large-scale medical ontology, which developed using variant of the inexpressive Description Logic EL. reasoning can not only be used to compute subsumption relationships between concepts, but also pinpoint reason why certain relationship holds by computing axioms responsible for this relationship. This helps developers and users understand given follows from seen as first step toward removing unwanted relationships. In paper, we describe new method axiom pinpointing in EL, based on computation so-called reachabilitybased modules. Our experiments show that sets explaining are usually quite small, our fast enough such demand.