Skip to main content

Formal representation of complex SNOMED CT expressions

Abstract

Background

Definitory 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.

Methods

On 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@ .

Results

Typical 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.

Conclusion

The 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.

Introduction

Improving semantic interoperability by a structured representation of clinical procedures, findings and diseases constitutes the main rationale for the development of clinical terminologies and classification systems. The applicability of a clinical reference terminology such as SNOMED CT is critically coupled to the extent of how it can express the language-independent meaning of complex and often idiosyncratic medical terms in a principled way. Such pre-coordinated terms, which are typical for medical classification systems, should be definable in terms of the primitives provided by the reference terminology.

SNOMED CT (Clinical Terms) is a clinical terminology which was built by merging, restructuring, and enhancing the previous SNOMED version RT (Reference Terminology) with the former UK Read Codes. Already SNOMED RT had claimed to be a "set of concepts and relationships that provides a common reference point for comparison and aggregation of data about the entire health care process" [1, 2]. To fulfill this requirement, SNOMED CT contains now (May 2008) over half a million concepts. SNOMED CT relational statements are provided as concept – relation – concept triples. However, there is no clear explanation about what SNOMED CT "concepts" and "relations" exactly stand for. SNOMED CT "concepts", for instance, encompass individuals like Denmark, Greater London, Association of Anesthesia Clinical Directors, etc., and relations are allowed to link both concepts and individuals. We therefore prefer the term "class" wherever categories of individual entities are meant (which constitutes the standard case). Furthermore, we distinguish specialization relations which hold between classes (here the subclass-superclass relation is-a) from instantiation relations which relate individuals to their categorizing classes, using the instantiation relation inst. Moreover, domain-specific relations, such as "associated morphology" or "is part of", are intuitively used to relate individuals. These are to be differentiated from the former two relations and are usually referred to as roles. Wherever a role (domain-specific relation) is used in a class definition, it needs to be quantified, as shown below.

Logical stipulations

SNOMED RT and SNOMED CT (partially) follow a formal semantics based on the description logic specification KRSS [3]. The standard semantics of the Krss specification has been enhanced in SNOMED CT to cater for so-called right-identity rules which are shown essentially important for certain part-whole reasoning tasks.

Description logics are a family of decidable fragments of the first-order logic, which have a clean and intuitive syntax (without the need for free variables), cf. [4]. They have become increasingly popular, in particular, by the W3C recommendation of the Semantic Web language OWL-DL [5], several description logic based ontology editors, such as Protégé [6], and description logic reasoners such as CEL and FaCT++ which already proved feasibly useful in classifying SNOMED CT [7]. The description logic MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@ – the underlying logical formalism for the SNOMED CT terminology – provides conjunctions and existential quantifications which can be conceived as building blocks for complex class descriptions. Conjunctions are most easily to be understood as intersections of sets. For instance, the expression FractureOfBone LegInjury denotes the intersection of all entities belonging to the class FractureOfBone with those belonging to the class LegInjury. The resulting class LegFracture therefore contains all injuries which are both leg injuries and bone fractures. To give an example for existential quantification, part-of.Body denotes the class of all entities which are part of some body. The equivalence between a named class A and a class description D can be asserted into the terminology by using a class definition (denoted by ≡). Such a class definition provides both necessary and sufficient conditions, specified in terms of D, for being qualified as instance of the class A, e.g. BodyPart ≡ part-of.Body. When only necessary conditions are known for a certain named class, a primitive class definition (denoted by the subsumption operator ) can be used instead. The SNOMED CT class definitions are partly primitive, partly fully defined, with a few additional axioms on roles, e.g. part-of is declared transitive.

Ontological stipulations

According to [8] we subscribe to the ontological upper-level distinction between continuants (also called endurants) and occurrents (also called perdurants). Continuants are characterized as those entities that are wholly present in time, i.e. all their proper parts are present at any time of their existence. Typical continuants are physical objects and spaces, e.g. organisms and anatomical structures. In contrast, occurrents are entities that "happen in time": They extend in time by accumulating different temporal parts, so that, at any time instant t at which they exist, only their temporal parts at t are present. Typical occurrents are processual entities and events, such as surgical or diagnostic procedures. Whereas there is no doubt that medical prodecures are always occurrents (they have a well-defined beginning and end as temporal parts), diseases and other body phenomena are often ontologically ambiguous. On the one hand, they can be considered as states und thus being categorized as (immaterial) continuants. On the other hand, the focus can be laid on their temporal course, what characterizes them as occurrents. In this paper, this distinction will be neglected.

In the following we will analyze and discuss the formalization of complex SNOMED CT definitions.

Case studies of complex definitions

Using description logic constructors, SNOMED CT is able to define complex classes which are composed of simpler ones. To this end, the conjoints are grouped in terms of so-called relationship groups [9].

Relationship groups had been introduced in order to group attribute-value pairs which are "logically associated with each other" [10]. For example, a "removal of a foreign body from the stomach by gastrotomy" procedure involves the "removal" of a "foreign body" (not of a stomach) and the "incision" of a "stomach" (not of a foreign body). In description logic notation, SNOMED CT uses the symbol rg for relationship groups. It is treated like an existentially quantified role and used for nesting the associated expressions as in:

ExtrOfForeignBodyFromStomachByExcision rg . ( ProcedureSite .StomachStructure Method .IncisionAction ) rg . ( ProcedureSite .StomachStructure DirectMorphology .ForeignBody Method .RemovalAction ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabyqaaaaabaGaeeyrauKaeeiEaGNaeeiDaqNaeeOCaiNaee4ta8KaeeOzayMaeeOrayKaee4Ba8MaeeOCaiNaeeyzauMaeeyAaKMaee4zaCMaeeOBa4MaeeOqaiKaee4Ba8MaeeizaqMaeeyEaKNaeeOrayKaeeOCaiNaee4Ba8MaeeyBa0Maee4uamLaeeiDaqNaee4Ba8MaeeyBa0MaeeyyaeMaee4yamMaeeiAaGMaeeOqaiKaeeyEaKNaeeyrauKaeeiEaGNaee4yamMaeeyAaKMaee4CamNaeeyAaKMaee4Ba8MaeeOBa4MaeyyyIOlabaGaey4aIqIaeeOCaiNaee4zaCMaeiOla4IaeiikaGIaey4aIqIaeeiuaaLaeeOCaiNaee4Ba8Maee4yamMaeeyzauMaeeizaqMaeeyDauNaeeOCaiNaeeyzauMaee4uamLaeeyAaKMaeeiDaqNaeeyzauMaeeOla4Iaee4uamLaeeiDaqNaee4Ba8MaeeyBa0MaeeyyaeMaee4yamMaeeiAaGMaee4uamLaeeiDaqNaeeOCaiNaeeyDauNaee4yamMaeeiDaqNaeeyDauNaeeOCaiNaeeyzau2enfgDOvwBHrxAJf2maeHbnfgDOvwBHrxAJf2maGabaiab=nPiQaqaceaaikGaaCzcaiabgoGiKiabb2eanjabbwgaLjabbsha0jabbIgaOjabb+gaVjabbsgaKjabb6caUiabbMeajjabb6gaUjabbogaJjabbMgaPjabbohaZjabbMgaPjabb+gaVjabb6gaUjabbgeabjabbogaJjabbsha0jabbMgaPjabb+gaVjabb6gaUjabcMcaPiab=nPiQaqaaiabgoGiKiabbkhaYjabbEgaNjabc6caUiabcIcaOiabgoGiKiabbcfaqjabbkhaYjabb+gaVjabbogaJjabbwgaLjabbsgaKjabbwha1jabbkhaYjabbwgaLjabbofatjabbMgaPjabbsha0jabbwgaLjabb6caUiabbofatjabbsha0jabb+gaVjabb2gaTjabbggaHjabbogaJjabbIgaOjabbofatjabbsha0jabbkhaYjabbwha1jabbogaJjabbsha0jabbwha1jabbkhaYjabbwgaLjab=nPiQaqaceaa8jGaaCzcaiabgoGiKiabbseaejabbMgaPjabbkhaYjabbwgaLjabbogaJjabbsha0jabb2eanjabb+gaVjabbkhaYjabbchaWjabbIgaOjabb+gaVjabbYgaSjabb+gaVjabbEgaNjabbMha5jabb6caUiabbAeagjabb+gaVjabbkhaYjabbwgaLjabbMgaPjabbEgaNjabb6gaUjabbkeacjabb+gaVjabbsgaKjabbMha5jab=nPiQaqaceaa8jGaaCzcaiabgoGiKiabb2eanjabbwgaLjabbsha0jabbIgaOjabb+gaVjabbsgaKjabb6caUiabbkfasjabbwgaLjabb2gaTjabb+gaVjabbAha2jabbggaHjabbYgaSjabbgeabjabbogaJjabbsha0jabbMgaPjabb+gaVjabb6gaUjabcMcaPaaaaaa@2D37@
(1)

Thus misinterpretations such as "removal of stomach" and "incision of foreign body" can be prevented. As we have recently analyzed in [11], complex medical procedures or findings are characterized by a mereological structure, i.e. they can be described in terms of their (temporal) parts. As a consequence, rg can be considered equivalent to the partitive relation has-part, which would improve the semantic clarity in these cases. The expression rg.(A B) rg.(C D) is then equivalent to has-part.(A B) has-part.(C D).

We emphasize that this is a central issue, since complex definitions are frequent in SNOMED CT. Among all active SNOMED CT concepts, approximately 25,000 textual descriptions include one of the words "and", "with", "without". In about one third of these cases, relationship groups are used in the definitions associated.

Complex definitions with implicit time sequences

Using has-part instead of rg, the representation of the SNOMED CT concept "Extraction of Foreign Body from Stomach by Excision" can be expressed as the following description logic definition:

ExtrOfForeignBodyFromStomachByExcision has-part . ( ProcedureSite .StomachStructure Method .IncisionAction ) has-part . ( ProcedureSite .StomachStructure DirectMorphology .ForeignBody Method .RemovalAction ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabyqaaaaabaGaeeyrauKaeeiEaGNaeeiDaqNaeeOCaiNaee4ta8KaeeOzayMaeeOrayKaee4Ba8MaeeOCaiNaeeyzauMaeeyAaKMaee4zaCMaeeOBa4MaeeOqaiKaee4Ba8MaeeizaqMaeeyEaKNaeeOrayKaeeOCaiNaee4Ba8MaeeyBa0Maee4uamLaeeiDaqNaee4Ba8MaeeyBa0MaeeyyaeMaee4yamMaeeiAaGMaeeOqaiKaeeyEaKNaeeyrauKaeeiEaGNaee4yamMaeeyAaKMaee4CamNaeeyAaKMaee4Ba8MaeeOBa4MaeyyyIOlabaGaey4aIqIaeeiAaGMaeeyyaeMaee4CamNaeeyla0IaeeiCaaNaeeyyaeMaeeOCaiNaeeiDaqNaeiOla4IaeiikaGIaey4aIqIaeeiuaaLaeeOCaiNaee4Ba8Maee4yamMaeeyzauMaeeizaqMaeeyDauNaeeOCaiNaeeyzauMaee4uamLaeeyAaKMaeeiDaqNaeeyzauMaeeOla4Iaee4uamLaeeiDaqNaee4Ba8MaeeyBa0MaeeyyaeMaee4yamMaeeiAaGMaee4uamLaeeiDaqNaeeOCaiNaeeyDauNaee4yamMaeeiDaqNaeeyDauNaeeOCaiNaeeyzau2enfgDOvwBHrxAJf2maeHbnfgDOvwBHrxAJf2maGabaiab=nPiQaqaceaaqxGaaCzcaiabgoGiKiabb2eanjabbwgaLjabbsha0jabbIgaOjabb+gaVjabbsgaKjabb6caUiabbMeajjabb6gaUjabbogaJjabbMgaPjabbohaZjabbMgaPjabb+gaVjabb6gaUjabbgeabjabbogaJjabbsha0jabbMgaPjabb+gaVjabb6gaUjabcMcaPiab=nPiQaqaaiabgoGiKiabbIgaOjabbggaHjabbohaZjabb2caTiabbchaWjabbggaHjabbkhaYjabbsha0jabc6caUiabcIcaOiabgoGiKiabbcfaqjabbkhaYjabb+gaVjabbogaJjabbwgaLjabbsgaKjabbwha1jabbkhaYjabbwgaLjabbofatjabbMgaPjabbsha0jabbwgaLjabb6caUiabbofatjabbsha0jabb+gaVjabb2gaTjabbggaHjabbogaJjabbIgaOjabbofatjabbsha0jabbkhaYjabbwha1jabbogaJjabbsha0jabbwha1jabbkhaYjabbwgaLjab=nPiQaqaceaaqxGaaCzcaiabgoGiKiabbseaejabbMgaPjabbkhaYjabbwgaLjabbogaJjabbsha0jabb2eanjabb+gaVjabbkhaYjabbchaWjabbIgaOjabb+gaVjabbYgaSjabb+gaVjabbEgaNjabbMha5jabb6caUiabbAeagjabb+gaVjabbkhaYjabbwgaLjabbMgaPjabbEgaNjabb6gaUjabbkeacjabb+gaVjabbsgaKjabbMha5jab=nPiQaqaceaaqxGaaCzcaiabgoGiKiabb2eanjabbwgaLjabbsha0jabbIgaOjabb+gaVjabbsgaKjabb6caUiabbkfasjabbwgaLjabb2gaTjabb+gaVjabbAha2jabbggaHjabbYgaSjabbgeabjabbogaJjabbsha0jabbMgaPjabb+gaVjabb6gaUjabcMcaPaaaaaa@3DA0@
(2)

According to [11], rg was substituted by has-part for reasons of clarification. Obviously, Extraction of Foreign Body from Stomach by Excision can be fairly well represented using the constructors as introduced for SNOMED CT. However, an in-depth ontological analysis reveals that there are hidden assumptions regarding time that are not adequately expressed.

Let us try to express the same kind of state of affairs using first order logics with equalities and inequalities. We here abstract from the above example, using the constants C for a complex occurrent (e.g. Extraction of Foreign Body from Stomach by Excision) and A1, A2 for atomic occurrents (e.g. Incision of Stomach, Removal of Foreign Body from Stomach). Furthermore, we introduce the instantiation relation inst which relates individuals with classes in a comparable way to the standard translation approach given by the model theoretic semantics of description logics [4]. With the standard translation from a description logic class to a first-order formula, we would not need the inst relation because classes are translated to first-order unary predicates (rather than constants) and individuals correspond to constants populating the corresponding classes. However, we adopt this notation for the purpose of consistency with that in [11]. The relation between an occurrent (medical procedure) and its participating continuants (physical objects or anatomical structures) at a point in time t is given by the time-indexed relation has-participant (which denotes the time in which each occurrent begins), according to the specification of foundational relations in bio-medical ontologies introduced by [12]. Finally, S stands for the class of anatomical structure which participates in the two subprocesses and Δtmax for the maximal time which separates the begin of the second from that of the first one.

c : inst ( c , C ) s , t 1 , t 2 , a 1 , a 2 : inst ( a 1 , A 1 ) inst ( a 2 , A 2 ) inst ( s , S ) has-part ( c , a 1 ) has-part ( c , a 2 ) has-participant ( a 1 , s , t 1 ) has-participant ( a 2 , s , t 2 ) | t 2 t 1 | Δ t max MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabCqaaaaabaGaeyiaIiIaem4yamMaeiOoaOJaeeyAaKMaeeOBa4Maee4CamNaeeiDaqNaeiikaGIaem4yamMaeiilaWIaem4qamKaeiykaKIaeyiLHSkabaGaey4aIqIaem4CamNaeiilaWIaemiDaq3aaSbaaSqaaiabigdaXaqabaGccqGGSaalcqWG0baDdaWgaaWcbaGaeGOmaidabeaakiabcYcaSiabdggaHnaaBaaaleaacqaIXaqmaeqaaOGaeiilaWIaemyyae2aaSbaaSqaaiabikdaYaqabaGccqGG6aGoaeaacqqGPbqAcqqGUbGBcqqGZbWCcqqG0baDcqGGOaakcqWGHbqydaWgaaWcbaGaeGymaedabeaakiabcYcaSiabdgeabnaaBaaaleaacqaIXaqmaeqaaOGaeiykaKIaey4jIKTaeeyAaKMaeeOBa4Maee4CamNaeeiDaqNaeiikaGIaemyyae2aaSbaaSqaaiabikdaYaqabaGccqGGSaalcqWGbbqqdaWgaaWcbaGaeGOmaidabeaakiabcMcaPiabgEIizlabbMgaPjabb6gaUjabbohaZjabbsha0jabcIcaOiabdohaZjabcYcaSiabdofatjabcMcaPiabgEIizdqaaiabbIgaOjabbggaHjabbohaZjabb2caTiabbchaWjabbggaHjabbkhaYjabbsha0jabcIcaOiabdogaJjabcYcaSiabdggaHnaaBaaaleaacqaIXaqmaeqaaOGaeiykaKIaey4jIKTaeeiAaGMaeeyyaeMaee4CamNaeeyla0IaeeiCaaNaeeyyaeMaeeOCaiNaeeiDaqNaeiikaGIaem4yamMaeiilaWIaemyyae2aaSbaaSqaaiabikdaYaqabaGccqGGPaqkcqGHNis2aeaacqqGObaAcqqGHbqycqqGZbWCcqqGTaqlcqqGWbaCcqqGHbqycqqGYbGCcqqG0baDcqqGPbqAcqqGJbWycqqGPbqAcqqGWbaCcqqGHbqycqqGUbGBcqqG0baDcqGGOaakcqWGHbqydaWgaaWcbaGaeGymaedabeaakiabcYcaSiabdohaZjabcYcaSiabdsha0naaBaaaleaacqaIXaqmaeqaaOGaeiykaKIaey4jIKnabaGaeeiAaGMaeeyyaeMaee4CamNaeeyla0IaeeiCaaNaeeyyaeMaeeOCaiNaeeiDaqNaeeyAaKMaee4yamMaeeyAaKMaeeiCaaNaeeyyaeMaeeOBa4MaeeiDaqNaeiikaGIaemyyae2aaSbaaSqaaiabikdaYaqabaGccqGGSaalcqWGZbWCcqGGSaalcqWG0baDdaWgaaWcbaGaeGOmaidabeaakiabcMcaPiabgEIizdqaamaaemaabaGaemiDaq3aaSbaaSqaaiabikdaYaqabaGccqGHsislcqWG0baDdaWgaaWcbaGaeGymaedabeaaaOGaay5bSlaawIa7aiabgsMiJkabfs5aejabdsha0naaBaaaleaacyGGTbqBcqGGHbqycqGG4baEaeqaaaaaaaa@EC3D@
(3)

This representation is semantically richer insofar as it states that all pairs of subprocesses have the same anatomical structure s as a participant and that they occur within a pre-defined time interval, e.g. during a hospital stay. In contrast, the description logic representation for this and similar clinical situations would hold true even if there were two different stomachs and also if the two subprocesses were part of two completely different surgical interventions. However, the pragmatics of clinical coding is supposed to prevent such misinterpretations, since the assignment of a clinical code is used to be attributed to a single surgical procedure or a single disease under treatment.

Complex definitions with explicit time sequences

Let us now analyze a typical complex disease definition, in which a temporal order of the subprocesses is clearly stated such as the SNOMED CT concept "Concussion of brain with loss of consciousness". (Here, interestingly, the original SNOMED CT definition is underspecified, using a primitive class definition () instead of a full one (≡). Undoubtedly, the given expression fulfills also the sufficient conditions for the class in question.), expressed in description logic as follows:

BrainConcussionWithLossOfConsciousness has-lart . ( Concussion FindingSite .BrainTissueStructure ) has-part .LossOfConsciouness MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabuqaaaaabaGaeeOqaiKaeeOCaiNaeeyyaeMaeeyAaKMaeeOBa4Maee4qamKaee4Ba8MaeeOBa4Maee4yamMaeeyDauNaee4CamNaee4CamNaeeyAaKMaee4Ba8MaeeOBa4Maee4vaCLaeeyAaKMaeeiDaqNaeeiAaGMaeeitaWKaee4Ba8Maee4CamNaee4CamNaee4ta8KaeeOzayMaee4qamKaee4Ba8MaeeOBa4Maee4CamNaee4yamMaeeyAaKMaee4Ba8MaeeyDauNaee4CamNaeeOBa4MaeeyzauMaee4CamNaee4CamNaeyyyIOlabiqaaGIacaWLjaGaey4aIqIaeeiAaGMaeeyyaeMaee4CamNaeeyla0IaeeiBaWMaeeyyaeMaeeOCaiNaeeiDaqNaeiOla4cabiqaaa5acaWLjaGaeiikaGIaee4qamKaee4Ba8MaeeOBa4Maee4yamMaeeyDauNaee4CamNaee4CamNaeeyAaKMaee4Ba8MaeeOBa42enfgDOvwBHrxAJf2maeHbnfgDOvwBHrxAJf2maGabaiab=nPiQaqaceaaCoGaaCzcaiabgoGiKiabbAeagjabbMgaPjabb6gaUjabbsgaKjabbMgaPjabb6gaUjabbEgaNjabbofatjabbMgaPjabbsha0jabbwgaLjabb6caUiabbkeacjabbkhaYjabbggaHjabbMgaPjabb6gaUjabbsfaujabbMgaPjabbohaZjabbohaZjabbwha1jabbwgaLjabbofatjabbsha0jabbkhaYjabbwha1jabbogaJjabbsha0jabbwha1jabbkhaYjabbwgaLjabcMcaPiab=nPiQaqaceaamjGaaCzcaiabgoGiKiabbIgaOjabbggaHjabbohaZjabb2caTiabbchaWjabbggaHjabbkhaYjabbsha0jabb6caUiabbYeamjabb+gaVjabbohaZjabbohaZjabb+eapjabbAgaMjabboeadjabb+gaVjabb6gaUjabbohaZjabbogaJjabbMgaPjabb+gaVjabbwha1jabb6gaUjabbwgaLjabbohaZjabbohaZbaaaaa@DC30@
(4)

In opposition to the above example, here the sequence of the related events is of utmost importance for correct interpretation. A head injury may be followed by a loss of consciousness, e.g. due to cerebral concussion. The inverse scenario is also possible: a patient loses consciousness (e.g. due to excessive alcohol consumption) and then falls and suffers a head injury. How can we encode this temporal sequence using description logics? Let us propose a modified version of Formula 4 with the help of an irreflexive and transitive relation precedes to relate two occurrents.

BrainConcussionWithLossOfConsciousness Concussion FindingSite .BrainTissueStructure precedes .LossOfConsciouness MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabqqaaaaabaGaeeOqaiKaeeOCaiNaeeyyaeMaeeyAaKMaeeOBa4Maee4qamKaee4Ba8MaeeOBa4Maee4yamMaeeyDauNaee4CamNaee4CamNaeeyAaKMaee4Ba8MaeeOBa4Maee4vaCLaeeyAaKMaeeiDaqNaeeiAaGMaeeitaWKaee4Ba8Maee4CamNaee4CamNaee4ta8KaeeOzayMaee4qamKaee4Ba8MaeeOBa4Maee4CamNaee4yamMaeeyAaKMaee4Ba8MaeeyDauNaee4CamNaeeOBa4MaeeyzauMaee4CamNaee4Cam3aaWbaaSqabeaacqGHxiIkaaGccqGHHjIUaeGabaa3ciaaxMaacqqGdbWqcqqGVbWBcqqGUbGBcqqGJbWycqqG1bqDcqqGZbWCcqqGZbWCcqqGPbqAcqqGVbWBcqqGUbGBt0uy0HwzTfgDPnwyZaqeg0uy0HwzTfgDPnwyZaaceaGae83KIOcabiqaaWTacaWLjaGaey4aIqIaeeOrayKaeeyAaKMaeeOBa4MaeeizaqMaeeyAaKMaeeOBa4Maee4zaCMaee4uamLaeeyAaKMaeeiDaqNaeeyzauMaeeOla4IaeeOqaiKaeeOCaiNaeeyyaeMaeeyAaKMaeeOBa4MaeeivaqLaeeyAaKMaee4CamNaee4CamNaeeyDauNaeeyzauMaee4uamLaeeiDaqNaeeOCaiNaeeyDauNaee4yamMaeeiDaqNaeeyDauNaeeOCaiNaeeyzauMae83KIOcabiqaaWTacaWLjaGaey4aIqIaeeiCaaNaeeOCaiNaeeyzauMaee4yamMaeeyzauMaeeizaqMaeeyzauMaee4CamNaeeOla4IaeeitaWKaee4Ba8Maee4CamNaee4CamNaee4ta8KaeeOzayMaee4qamKaee4Ba8MaeeOBa4Maee4CamNaee4yamMaeeyAaKMaee4Ba8MaeeyDauNaeeOBa4MaeeyzauMaee4CamNaee4Camhaaaaa@D01A@
(5)

Here we have defined the class of those concussion occurrents characterized by being followed by "loss of consciousness" occurrents (instead of defining a complex occurrent such as in Formula 4). Analogously, one could replace the relation precedes with its inverse follows in order to characterize those cases in which the loss of consciousness has occurred prior to the brain concussion. In principle, there is no reason to give preference to either of these two definitions since the meaning of an expression "A with B" is ambiguous nevertheless. It can equally be understood as "a kind of A which is characterized by being followed by some B" or "a composed occurrent consisting of an A and a B". In principle, combinations are feasible, e.g.

BrainConcussionWithLossOfConsciousness has-part . ( Concussion FindingSite .BrainTissueStructure precedes .LossOfConsciouness) has-part .LossOfConsciouness MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabyqaaaaabaGaeeOqaiKaeeOCaiNaeeyyaeMaeeyAaKMaeeOBa4Maee4qamKaee4Ba8MaeeOBa4Maee4yamMaeeyDauNaee4CamNaee4CamNaeeyAaKMaee4Ba8MaeeOBa4Maee4vaCLaeeyAaKMaeeiDaqNaeeiAaGMaeeitaWKaee4Ba8Maee4CamNaee4CamNaee4ta8KaeeOzayMaee4qamKaee4Ba8MaeeOBa4Maee4CamNaee4yamMaeeyAaKMaee4Ba8MaeeyDauNaee4CamNaeeOBa4MaeeyzauMaee4CamNaee4Cam3aaWbaaSqabeaacqGHxiIkcqGHxiIkaaGccqGHHjIUaeGabaa3ciaaxMaacqGHdicjcqqGObaAcqqGHbqycqqGZbWCcqqGTaqlcqqGWbaCcqqGHbqycqqGYbGCcqqG0baDcqGGUaGlaeGabaaieiaaxMaacqGGOaakcqqGdbWqcqqGVbWBcqqGUbGBcqqGJbWycqqG1bqDcqqGZbWCcqqGZbWCcqqGPbqAcqqGVbWBcqqGUbGBt0uy0HwzTfgDPnwyZaqeg0uy0HwzTfgDPnwyZaaceaGae83KIOcabiqaaacbcaWLjaGaey4aIqIaeeOrayKaeeyAaKMaeeOBa4MaeeizaqMaeeyAaKMaeeOBa4Maee4zaCMaee4uamLaeeyAaKMaeeiDaqNaeeyzauMaeeOla4IaeeOqaiKaeeOCaiNaeeyyaeMaeeyAaKMaeeOBa4MaeeivaqLaeeyAaKMaee4CamNaee4CamNaeeyDauNaeeyzauMaee4uamLaeeiDaqNaeeOCaiNaeeyDauNaee4yamMaeeiDaqNaeeyDauNaeeOCaiNaeeyzauMae83KIOcabiqaaqbbcaWLjaGaey4aIqIaeeiCaaNaeeOCaiNaeeyzauMaee4yamMaeeyzauMaeeizaqMaeeyzauMaee4CamNaeeOla4IaeeitaWKaee4Ba8Maee4CamNaee4CamNaee4ta8KaeeOzayMaee4qamKaee4Ba8MaeeOBa4Maee4CamNaee4yamMaeeyAaKMaee4Ba8MaeeyDauNaeeOBa4MaeeyzauMaee4CamNaee4CamNaeeykaKIae83KIOcabiqaaqSacaWLjaGaey4aIqIaeeiAaGMaeeyyaeMaee4CamNaeeyla0IaeeiCaaNaeeyyaeMaeeOCaiNaeeiDaqNaeeOla4IaeeitaWKaee4Ba8Maee4CamNaee4CamNaee4ta8KaeeOzayMaee4qamKaee4Ba8MaeeOBa4Maee4CamNaee4yamMaeeyAaKMaee4Ba8MaeeyDauNaeeOBa4MaeeyzauMaee4CamNaee4Camhaaaaa@0559@
(6)

Such a definition is, however, affected by the same shortcomings as already discussed with the first example. Firstly, the time interval is not at all specified, and secondly, the definition is also compatible with two separate LossOfConsciousness subprocesses. For the latter problem there is no solution in the description logics used. The first one could pragmatically be tackled by subdividing the temporal relations precedes and follows into two relations which relate to different time intervals. For instance, precedescurr/followscurr might be introduced do denote the time frame of the current treatment episode, whereas precedeshist/followshist would then refer to processes in the context of clinical history only.

Finally, "Brain concussion with loss of consciousness" may only represent a snapshot-like current state of a patient in which no statement about the underlying time-dependent processes are made. This is, however, not sufficient for a final diagnosis, for which a more complete characterization of the disorder or trauma should be expected. The description logic representation used in SNOMED CT does not allow for this distinction. Again, first order logics would be required to describe this in the same way as illustrated in Formula 3, introducing time variables.

Complex definitions with exclusions

Our third and last example is a modification of the one illustrated by Formula 4. "Concussion of Brain WITH NO Loss of Consciousness" is characterized by the fact that a certain condition (here loss of consciousness) does NOT occur. Aware of the fact that a negation operator is not part of the language specification underlying SNOMED CT we formalize this example based on an existing SNOMED CT definition as follows:

BrainConcussionWithNoLossOfConsciousness has-part . ( Concussion FindingSite .BrainTissueStructure) has-part .Awake MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabuqaaaaabaGaeeOqaiKaeeOCaiNaeeyyaeMaeeyAaKMaeeOBa4Maee4qamKaee4Ba8MaeeOBa4Maee4yamMaeeyDauNaee4CamNaee4CamNaeeyAaKMaee4Ba8MaeeOBa4Maee4vaCLaeeyAaKMaeeiDaqNaeeiAaGMaeeOta4Kaee4Ba8MaeeitaWKaee4Ba8Maee4CamNaee4CamNaee4ta8KaeeOzayMaee4qamKaee4Ba8MaeeOBa4Maee4CamNaee4yamMaeeyAaKMaee4Ba8MaeeyDauNaee4CamNaeeOBa4MaeeyzauMaee4CamNaee4CamNaeyyyIOlabiqaaWZacaWLjaGaey4aIqIaeeiAaGMaeeyyaeMaee4CamNaeeyla0IaeeiCaaNaeeyyaeMaeeOCaiNaeeiDaqNaeiOla4cabiqaaGjbcaWLjaGaeiikaGIaee4qamKaee4Ba8MaeeOBa4Maee4yamMaeeyDauNaee4CamNaee4CamNaeeyAaKMaee4Ba8MaeeOBa42enfgDOvwBHrxAJf2maeHbnfgDOvwBHrxAJf2maGabaiab=nPiQaqaceaaKsGaaCzcaiabgoGiKiabbAeagjabbMgaPjabb6gaUjabbsgaKjabbMgaPjabb6gaUjabbEgaNjabbofatjabbMgaPjabbsha0jabbwgaLjabb6caUiabbkeacjabbkhaYjabbggaHjabbMgaPjabb6gaUjabbsfaujabbMgaPjabbohaZjabbohaZjabbwha1jabbwgaLjabbofatjabbsha0jabbkhaYjabbwha1jabbogaJjabbsha0jabbwha1jabbkhaYjabbwgaLjabbMcaPiab=nPiQaqaceaaKsGaaCzcaiabgoGiKiabbIgaOjabbggaHjabbohaZjabb2caTiabbchaWjabbggaHjabbkhaYjabbsha0jabb6caUiabbgeabjabbEha3jabbggaHjabbUgaRjabbwgaLbaaaaa@CD93@
(7)

This representation, again, would be sufficient for recording a snapshot-like state of a patient who is – at the moment of examination – awake and has a clinical picture which is compatible with a brain concussion. However, what is more probably meant here – at least if we use this class in order to express a diagnostic statement – is that the patient has suffered a brain concussion at a certain instant in time (t1) and that during the whole time interval until the moment of clinical examination (t2) there was no occurrence of loss of consciousness. The problem with the reference to medical conditions such as Awake and LossOfConsciouness is that both may hold true for parts of this time interval. The patient could have stayed awake immediately after the trauma and then have gradually lost consciousness. Abstracting away from the example, we introduce a complex occurrent C each instance of which has an atomic subprocess which is an instance of A1, but no instance of the subprocess A2. More precisely: Within a given time interval a patient (an instance of P) suffers from a condition of the type A1 (which has some body structure of type S1 as participant) without, however, suffering from a condition of the type A2 located at any S2 at any time. In the first order logic this can be expressed as follows:

c : inst ( c , C ) a 1 , s 1 , s 2 , p , t 1 : inst ( a 1 , A 1 ) inst ( p , P ) inst ( s 1 , S 1 ) inst ( s 2 ,S 2 ) has-part ( c , a 1 ) has-part ( p , s 1 ) has-part ( p , s 2 ) has-participant ( a 1 , s 1 , t 1 ) ¬ ( t , a 2 : t > = t 1 inst ( a 2 , A 2 ) has-part ( c , a 2 ) has-participant ( a 2 , s 2 , t ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabCqaaaaabaGaeyiaIiIaem4yamMaeiOoaOJaeeyAaKMaeeOBa4Maee4CamNaeeiDaqNaeiikaGIaem4yamMaeiilaWIaem4qamKaeiykaKIaeyiLHSkabiqaaqMacaWLjaGaey4aIqIaemyyae2aaSbaaSqaaiabigdaXaqabaGccqGGSaalcqWGZbWCdaWgaaWcbaGaeGymaedabeaakiabcYcaSiabdohaZnaaBaaaleaacqaIYaGmaeqaaOGaeiilaWIaemiCaaNaeiilaWIaemiDaq3aaSbaaSqaaiabigdaXaqabaGccqGG6aGocqqGPbqAcqqGUbGBcqqGZbWCcqqG0baDcqGGOaakcqWGHbqydaWgaaWcbaGaeGymaedabeaakiabcYcaSiabdgeabnaaBaaaleaacqaIXaqmaeqaaOGaeiykaKIaey4jIKTaeeyAaKMaeeOBa4Maee4CamNaeeiDaqNaeiikaGIaemiCaaNaeiilaWIaemiuaaLaeiykaKIaey4jIKnabiqaaWKacaWLjaGaeeyAaKMaeeOBa4Maee4CamNaeeiDaqNaeiikaGIaem4Cam3aaSbaaSqaaiabigdaXaqabaGccqGGSaalcqWGtbWudaWgaaWcbaGaeGymaedabeaakiabcMcaPiabgEIizlabbMgaPjabb6gaUjabbohaZjabbsha0jabcIcaOiabdohaZnaaBaaaleaacqaIYaGmaeqaaOGaeeilaWIaee4uam1aaSbaaSqaaiabikdaYaqabaGccqqGPaqkcqGHNis2cqqGObaAcqqGHbqycqqGZbWCcqqGTaqlcqqGWbaCcqqGHbqycqqGYbGCcqqG0baDcqGGOaakcqWGJbWycqGGSaalcqWGHbqydaWgaaWcbaGaeGymaedabeaakiabcMcaPiabgEIizdqaceaayjGaaCzcaiabbIgaOjabbggaHjabbohaZjabb2caTiabbchaWjabbggaHjabbkhaYjabbsha0jabcIcaOiabdchaWjabcYcaSiabdohaZnaaBaaaleaacqaIXaqmaeqaaOGaeiykaKIaey4jIKTaeeiAaGMaeeyyaeMaee4CamNaeeyla0IaeeiCaaNaeeyyaeMaeeOCaiNaeeiDaqNaeiikaGIaemiCaaNaeiilaWIaem4Cam3aaSbaaSqaaiabikdaYaqabaGccqGGPaqkcqGHNis2aeGabaawciaaxMaacqqGObaAcqqGHbqycqqGZbWCcqqGTaqlcqqGWbaCcqqGHbqycqqGYbGCcqqG0baDcqqGPbqAcqqGJbWycqqGPbqAcqqGWbaCcqqGHbqycqqGUbGBcqqG0baDcqGGOaakcqWGHbqydaWgaaWcbaGaeGymaedabeaakiabcYcaSiabdohaZnaaBaaaleaacqaIXaqmaeqaaOGaeiilaWIaemiDaq3aaSbaaSqaaiabigdaXaqabaGccqGGPaqkcqGHNis2aeGabaaCciaaxMaacqGHSca2cqGGOaakcqGHdicjcqWG0baDcqGGSaalcqWGHbqydaWgaaWcbaGaeGOmaidabeaakiabcQda6iabdsha0jabg6da+iabg2da9iabdsha0naaBaaaleaacqaIXaqmaeqaaOGaey4jIKTaeeyAaKMaeeOBa4Maee4CamNaeeiDaqNaeiikaGIaemyyae2aaSbaaSqaaiabikdaYaqabaGccqGGSaalcqWGbbqqdaWgaaWcbaGaeGOmaidabeaakiabcMcaPiabgEIizdqaceaaWBGaaCzcaiabbIgaOjabbggaHjabbohaZjabb2caTiabbchaWjabbggaHjabbkhaYjabbsha0jabcIcaOiabbogaJjabcYcaSiabbggaHnaaBaaaleaacqaIYaGmaeqaaOGaeiykaKIaey4jIKTaeeiAaGMaeeyyaeMaee4CamNaeeyla0IaeeiCaaNaeeyyaeMaeeOCaiNaeeiDaqNaeeyAaKMaee4yamMaeeyAaKMaeeiCaaNaeeyyaeMaeeOBa4MaeeiDaqNaeiikaGIaemyyae2aaSbaaSqaaiabikdaYaqabaGccqGGSaalcqWGZbWCdaWgaaWcbaGaeGOmaidabeaakiabcYcaSiabdsha0jabcMcaPiabcMcaPaaaaaa@355D@
(8)

This complex situation is definitely beyond the expressivity of the SNOMED CT description logic, and as a consequence, "Concussion of brain with no loss of consciousness" cannot be pre-coordinated (defined) in SNOMED CT as a fully defined class though the sufficient conditions are completely known. A possible way out could be to enhance the description logic with negation (the negation operator is denoted by ¬) and put it down in the following way:

BrainConcussionWithNoLossOfConsciousness has-part . ( Concussion FindingSite .BrainTissueStructure) ¬ has-part .LossOfConsciouness MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabuqaaaaabaGaeeOqaiKaeeOCaiNaeeyyaeMaeeyAaKMaeeOBa4Maee4qamKaee4Ba8MaeeOBa4Maee4yamMaeeyDauNaee4CamNaee4CamNaeeyAaKMaee4Ba8MaeeOBa4Maee4vaCLaeeyAaKMaeeiDaqNaeeiAaGMaeeOta4Kaee4Ba8MaeeitaWKaee4Ba8Maee4CamNaee4CamNaee4ta8KaeeOzayMaee4qamKaee4Ba8MaeeOBa4Maee4CamNaee4yamMaeeyAaKMaee4Ba8MaeeyDauNaee4CamNaeeOBa4MaeeyzauMaee4CamNaee4CamNaeyyyIOlabiqaaq7acaWLjaGaey4aIqIaeeiAaGMaeeyyaeMaee4CamNaeeyla0IaeeiCaaNaeeyyaeMaeeOCaiNaeeiDaqNaeiOla4cabiqaaWrbcaWLjaGaeiikaGIaee4qamKaee4Ba8MaeeOBa4Maee4yamMaeeyDauNaee4CamNaee4CamNaeeyAaKMaee4Ba8MaeeOBa42enfgDOvwBHrxAJf2maeHbnfgDOvwBHrxAJf2maGabaiab=nPiQaqaceaayvGaaCzcaiabgoGiKiabbAeagjabbMgaPjabb6gaUjabbsgaKjabbMgaPjabb6gaUjabbEgaNjabbofatjabbMgaPjabbsha0jabbwgaLjabb6caUiabbkeacjabbkhaYjabbggaHjabbMgaPjabb6gaUjabbsfaujabbMgaPjabbohaZjabbohaZjabbwha1jabbwgaLjabbofatjabbsha0jabbkhaYjabbwha1jabbogaJjabbsha0jabbwha1jabbkhaYjabbwgaLjabbMcaPiab=nPiQaqaceaaapGaaCzcaiabgYkaylabgoGiKiabbIgaOjabbggaHjabbohaZjabb2caTiabbchaWjabbggaHjabbkhaYjabbsha0jabb6caUiabbYeamjabb+gaVjabbohaZjabbohaZjabb+eapjabbAgaMjabboeadjabb+gaVjabb6gaUjabbohaZjabbogaJjabbMgaPjabb+gaVjabbwha1jabb6gaUjabbwgaLjabbohaZjabbohaZbaaaaa@E11D@
(9)

Again, here is nothing stated about the referents of "Brain tissue structure" and "Loss of Consciousness". However, the practical usage of clinical terminologies rules out the interpretation that one occurrent has body parts of different patients as participants.

The introduction of the full negation into the set of allowed constructors for SNOMED CT would seriously jeopardize the usability and scalability of terminological reasoning [13].

Nevertheless, it would be crucial not only for correctly defining numerous complex procedures and diseases but also for correctly mapping clinical classification systems such as ICD-10. Here, many classes have clearly defined exclusions (e.g. the general class "Thrombosis" excludes "Thrombosis in Pregnancy") and logical complements (e.g. the ubiquitous "not elsewhere classified" classes). Such categories cannot be adequately represented without full negation [14].

Reification could be a partial solution to the negation problem: with "Period with no loss of consciousness" – replacing the class "Awake" from Formula 7 – a class is introduced which paraphrases a negative statement without resorting to explicit negation. This class represents a period in the life of a patient during which a loss of consciousness can be ruled out. Again, there is a hidden assumption, viz. that a "Period with no loss of consciousness" exactly starts with the traumatic event and ends with the moment in which the observation was made.

SNOMED CT addresses the negation problem by its context model. Although incomplete in some logical respects, it enables support for negation in the sense of "absence of a condition" and "procedure not done", etc. However, we must be aware that this is placed outside the description logics framework. Ignoring this, we would get erroneous conclusions, such as interpreting "ECG not done – Associated Procedure – Electrocardiographic Procedure" as "AssociatedProcedure.ElectrocardiographicProcedure". In this case, the quantifier would assert the existence of some Electrocardiographic Procedure, which is exactly the contrary of what we want to express. Hence, the interpretation of SNOMED CT context model concepts as description logics axioms is not recommended.

Conclusion

The description of complex medical occurrents such as diseases and procedures is complicated and ambiguous. One source of ambiguity is related to conceptual scope: The same situations can be described as

• a complex occurrent C that has A and B as temporal parts

• a simple occurrent A' defined as a kind of A followed be some B

• a simple occurrent B' defined as a kind of B preceded be some A

In such cases, semantic interoperability would be only achieved in cases that all those mutually dependent classes were instantiated.

Another intricate problem is the reference to occurrents of the type A which are characterized by the absence of some occurrent of type B. This would require negation, which is not included in the SNOMED CT syntax. A possible way out is the reification of negative statements in the sense of "period with no occurrence of any B". Nevertheless, the temporal scope of such complex expressions remains fuzzy. This may be less problematic in practice where clinical codes are generally attributed to well-defined time intervals of treatment or hospitalization episodes. The SNOMED CT context model already addresses this kind of problems.

A more principled way of defining complex occurrents will help improve the quality of the terminology itself in terms of reducing errors and assuring its internal consistency. An assessment of the impact of such improvements on the quality of terminological classification is still speculative for two reasons. Firstly, large scale experiences of the use of description logic-based classification and reasoning are still missing. Secondly, most SNOMED CT descriptions of complex occurrents are still primitive ones, so that misclassifications are not to be supposed.

However, we expect that the issues addressed in this paper will gain relevance along with the maturing of the terminology and the development of more knowledge-intensive applications.

References

  1. Spackman Kent, Campbell Keith: Compositional concept representation using SNOMED: Towards further convergence of clinical terminologies. AMIA'98 – Proc. of the 1998 AMIA Annual Fall Symposium. 1998, Philadelphia, PA: Hanley & Belfus, 740-744.

    Google Scholar 

  2. Kent A: Spackman and Guillermo Reynoso. Examining SNOMED from the perspective of formal ontological principles: Some preliminary analysis and observations. KR-MED 2004 – Proc. of the 1st International Workshop on Formal Biomedical Knowledge Representation. 2004, Bethesda, MD: American Medical Informatics Association (AMIA), 72-80. [http://CEUR-WS.org/Vol-102/]

    Google Scholar 

  3. Patel-Schneider Peter, Swartout Bill: Description logic knowledge representation system specification from the KRSS group of the ARPA knowledge sharing effort. Technical report, AT&T Bell Laboratories Report. 1993

    Google Scholar 

  4. Baader Franz, Calvanese Diego, McGuinness Deborah, Nardi Daniele, Patel-Schneider Peter, editors: The Description Logic Handbook. Theory, Implementation, and Applications. 2003, Cambridge, U.K.: Cambridge University Press

    Google Scholar 

  5. Horrocks Ian, Patel-Schneider Peter, van Harmelen Frank: From S H I Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NeXpLae83cHGKae8heHKKae8heXhfaaa@3B3C@ and RDF to OWL: The making of a Web ontology language. Journal of Web Semantics. 2003, 1 (1): 7-26.

    Article  Google Scholar 

  6. Knublauch Holger, Dameron Olivier, Musen Mark: Weaving the biomedical Semantic Web with the protégé OWL plugin. KR-MED 2004 – Proc. of the 1st International Workshop on Formal Biomedical Knowledge Representation. 2004, Bethesda, MD: American Medical Informatics Association (AMIA), 39-47. [http://CEUR-WS.org/Vol-102/]

    Google Scholar 

  7. Baader Franz, Lutz Carsten, Suntisrivaraporn Boontawee: CEL – a polynomial-time reasoner for life science ontologies. Proc. of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence. 2006, Springer-Verlag, 287-291.

    Google Scholar 

  8. Grenon Pierre, Smith Barry, Goldberg Louis: Biodynamic ontology: applying BFO in the biomedical domain. Studies in health technology and informatics. Edited by: Pisanelli D. 2004, 102: 20-38.

    Google Scholar 

  9. Spackman KA, Dionne R, Mays E, Weis J: Role grouping as an extension to the description logic of Ontolog, motivated by concept modeling in SNOMED. AMIA 2002 – Proc. of the Annual Symposium of the American Medical Informatics Association. Biomedical Informatics: One Discipline. San Antonio, TX, November 9–13, 2002. Edited by: Isaac S Kohane. 2002, Philadelphia, PA: Hanley & Belfus, 712-716.

    Google Scholar 

  10. SNOMED Clinical Terms. Technical Implementation Guide. 2005, Northfield, IL: College of American Pathologists

  11. Schulz Stefan, Hanser Susanne, Hahn Udo, Rogers Jeremy: Semantic clarification of diseases and procedures in SNOMED CT. Methods of Information in Medicine. 2006, 45:

    Google Scholar 

  12. Smith B, Ceusters W, Klagges B, Köhler J, Kumar A, Lomax J, Mungall C, Neuhaus F, Rector A, Rosse C: Relations in biomedical ontologies. Genome Biol. 2005, 6 (5): R46-10.1186/gb-2005-6-5-r46.

    Article  PubMed Central  PubMed  Google Scholar 

  13. Baader Franz, Brandt Sebastian, Lutz Carsten: Pushing the MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@ envelope. Proc. of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05. 2005, Edinburgh, UK, Morgan-Kaufmann Publishers,

    Google Scholar 

  14. Schulz Stefan, Zaiss Albrecht, Brunner Ralph, Spinner Daniel, Klar Rüdiger: Conversion problems concerning automated mapping from ICD-10 to ICD-9. Methods of Information in Medicine. 1998, 37: 254-259.

    CAS  PubMed  Google Scholar 

Download references

Acknowledgements

This work was supported by the EU Network of Excellence Semantic Interoperability and Data Mining in Biomedicine (NoE 507505).

This article has been published as part of BMC Medical Informatics and Decision Making Volume 8 Supplement 1, 2008: Selected contributions to the First European Conference on SNOMED CT. The full contents of the supplement are available online at http://www.biomedcentral.com/1472-6947/8?issue=S1.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Stefan Schulz.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

The first author provided the examples and wrote the first draft of the paper. The other two authors critically assessed the formalizations and contributed to the final redaction of the paper.

Rights and permissions

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Schulz, S., Markó, K. & Suntisrivaraporn, B. Formal representation of complex SNOMED CT expressions. BMC Med Inform Decis Mak 8 (Suppl 1), S9 (2008). https://doi.org/10.1186/1472-6947-8-S1-S9

Download citation

  • Published:

  • DOI: https://doi.org/10.1186/1472-6947-8-S1-S9

Keywords