BackgroundDefinitory expressions about clinical procedures, findings and diseases constitute a major benefit of a formally founded clinical reference terminology which is ontologically sound and suited for formal reasoning. SNOMED CT claims to support formal reasoning by description-logic based concept definitions.MethodsOn the basis of formal ontology criteria we analyze complex SNOMED CT concepts, such as "Concussion of Brain with(out) Loss of Consciousness", using alternatively full first order logics and the description logic ℰℒMathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@.ResultsTypical complex SNOMED CT concepts, including negations or not, can be expressed in full first-order logics. Negations cannot be properly expressed in the description logic ℰℒMathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@ underlying SNOMED CT. All concepts concepts the meaning of which implies a temporal scope may be subject to diverging interpretations, which are often unclear in SNOMED CT as their contextual determinants are not made explicit.ConclusionThe description of complex medical occurrents is ambiguous, as the same situations can be described as (i) a complex occurrent C that has A and B as temporal parts, (ii) a simple occurrent A' defined as a kind of A followed by some B, or (iii) a simple occurrent B' defined as a kind of B preceded by some A. As negative statements in SNOMED CT cannot be exactly represented without a (computationally costly) extension of the set of logical constructors, a solution can be the reification of negative statments (e.g., "Period with no Loss of Consciousness"), or the use of the SNOMED CT context model. However, the interpretation of SNOMED CT context model concepts as description logics axioms is not recommended, because this may entail unintended models.
[1]
Franz Baader,et al.
CEL - A Polynomial-Time Reasoner for Life Science Ontologies
,
2006,
IJCAR.
[2]
Diego Calvanese,et al.
The Description Logic Handbook: Theory, Implementation, and Applications
,
2003,
Description Logic Handbook.
[3]
Diego Calvanese,et al.
The Description Logic Handbook
,
2007
.
[4]
Bill Swartout,et al.
Description-Logic Knowledge Representation System Specification from the KRSS Group of the ARPA Know
,
1993
.
[5]
A. Rector,et al.
Relations in biomedical ontologies
,
2005,
Genome Biology.
[6]
Franz Baader,et al.
Pushing the EL Envelope
,
2005,
IJCAI.
[7]
Kent A. Spackman,et al.
Role grouping as an extension to the description logic of Ontylog, motivated by concept modeling in SNOMED
,
2002,
AMIA.
[8]
Ian Horrocks,et al.
From SHIQ and RDF to OWL: the making of a Web Ontology Language
,
2003,
J. Web Semant..
[9]
N. Shinkura,et al.
Pushing the envelope: chromatin boundaries at the nuclear pore.
,
2002,
Molecular cell.
[10]
Olivier Dameron,et al.
Weaving the biomedical Semantic Web with the Prote'ge' OWL Plugin
,
2004,
KR-MED.
[11]
U. Hahn,et al.
The Semantics of Procedures and Diseases in SNOMED® CT
,
2006,
Methods of Information in Medicine.
[12]
D. Mccomb,et al.
Terms
,
2007,
Semantics in Business Systems.
[13]
Kent A. Spackman,et al.
Compositional concept representation using SNOMED: towards further convergence of clinical terminologies
,
1998,
AMIA.
[14]
Kent A. Spackman,et al.
Examining SNOMED from the perspective of formal ontological principles: Some preliminary analysis and observations
,
2004,
KR-MED.
[15]
R Klar,et al.
Conversion Problems concerning Automated Mapping from lCD-10 to lCD-9
,
1998,
Methods of Information in Medicine.
[16]
Barry Smith,et al.
Biodynamic ontology: applying BFO in the biomedical domain.
,
2004,
Studies in health technology and informatics.