Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+

  title={Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+},
  author={Franz Baader and Boontawee Suntisrivaraporn},
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compute subsumption relationships between Snomed concepts, but also to pinpoint the reason why a certain subsumption relationship holds by computing the axioms responsible for this relationship. This helps developers and users of Snomed ct to understand why a given subsumption relationship follows from the ontology, which… CONTINUE READING
Highly Cited
This paper has 91 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 60 extracted citations

91 Citations

Citations per Year
Semantic Scholar estimates that this publication has 91 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…