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

Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL^+
Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED, volume 410 of CEUR-WS, 2008
• KurzfassungAbstract
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 can be seen as a first step toward removing unwanted subsumption relationships. In this paper, we describe a new method for axiom pinpointing in the Description Logic EL+, which is based on the computation so-called reachability-based modules. Our experiments on SNOMED CT show that the sets of axioms explaining subsumption are usually quite small, and that our method is fast enough to compute such sets on demand.
• Forschungsgruppe:Research Group: Automatentheorie
@inproceedings{ BaaSun-KRMED-08,
author = {Franz {Baader} and Boontawee {Suntisrivaraporn}},
booktitle = {Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED},
series = {CEUR-WS},
title = {Debugging {SNOMED CT} Using Axiom Pinpointing in the Description Logic $\mathcal{EL}^+$},
volume = {410},
year = {2008},
}