...
The use of description logic as the formal foundation of SNOMED CT allows the semantics of clinical concepts to be represented unambiguously. Description logic also enables logical deduction in which additional information can be inferred from the explicit statements in the terminology. Classification is the process in which the formally stated definitions of each concept are used to compute the subsumption hierarchies and defining properties of each concept.
With every each new release of SNOMED CT, two types of relationship files are distributed: the Stated Relationship file, containing the defining relationships stated by the terminology authors; and the Relationship file, containing the stated concept definitions are represented in the OWL Expression reference set, while the Relationship file, contains the full set of relationships that can be inferred using a classifier (excluding non-redundant
Concept |
---|
ShowParts | term |
---|
t | 116680003 |is a| |
---|
|
relationships).
It is important that extension producers are aware of the difference between these two files, and the fact that most Most consumers of the
terminology SNOMED CT will use the Relationship file (containing the inferred relationships). The
Stated Relationship file is OWL reference sets are primarily used by extension producers, but may also be used by terminology consumers that have access to a description logic classifier.
...
OWL Expression Reference Set
Include Page |
---|
| DOCRELFMT:OWL Expression Reference Set file |
---|
| DOCRELFMT:OWL Expression Reference Set file | DOCTSG:9.1 Stated Relationships File | DOCTSG:9.1 Stated Relationships File |
---|
|
Inferred Relationships
Inferred relationships are derived from the set of stated defining relationshipsof
in the OWL Expression Reference Set, by applying a consistent set of logical rules to the definition which take account of the definitions of related
concepts.
Several semantically equivalent views may be inferred from the same set of stated relationships. However, the SNOMED CT Relationship file is distributed using an inferred view known as the Distribution Normal Form (DNF)
Gloss |
---|
t | necessary normal form (NNF) |
---|
GlosTerm | necessary normal form |
---|
|
. This standard distribution view, includes all non-redundant
Concept |
---|
ShowParts | term |
---|
t | 116680003 |is a| |
---|
|
relationships (between each concept and its proximal supertype), and the inferred concept definition of each concept (including all non-redundant defining relationships).
For more information, please refer to the Inferred definition views section in the Terminology Services Guide. Please note that in the standard distribution view (DNF):
- Redundant
Concept |
---|
ShowParts | term |
---|
t | 116680003 |Is a| |
---|
|
relationships are removed - Defining attribute relationships are inherited from the concept's supertype parent, unless the attribute is also stated with a more specific value
In the necessary normal view (NNF) appropriate subtype and attribute relationships are created to represent non-redundant axioms that are necessarily true capable of being represented using the relationship file format.
Note |
---|
Some more advanced axioms (e.g. Gloss |
---|
t | general class inclusions |
---|
| ) can be represented in the OWL Expression Reference Set but cannot be represented in the Relationship File. |
Example
This example is included to illustrate what happens during the classification process.
Consider the stated relationships shown below for the concepts
Concept |
---|
ShowParts | term |
---|
t | 80146002 |Appendectomy| |
---|
|
and
Concept |
---|
ShowParts | term |
---|
t | 174036004 |Emergency appendectomy| |
---|
|
. The concept definitions are represented in accordance with
SNOMED CT Diagramming Guidelines.
Caption label |
---|
CapId | example-stated-relationships |
---|
CapType | Table |
---|
|
Example stated relationships |
This diagram shows the stated definition of the concept Concept |
---|
ShowParts | term |
---|
t | 80146002 |Appendectomy| |
---|
| . An Concept |
---|
ShowParts | term |
---|
t | 80146002 |Appendectomy| |
---|
| is a procedure in which the appendix structure is excised. | Stated definition of |Appendectomy| | Image RemovedImage Added |
This diagram shows the stated definition of the concept Concept |
---|
ShowParts | term |
---|
t | 174036004 |Emergency appendectomy| |
---|
| . An Concept |
---|
ShowParts | term |
---|
t | 174036004 |Emergency appendectomy| |
---|
| is a procedure with a priority of emergency, in which the appendix structure is excised. | Stated definition of |Emergency appendectomy| | Image RemovedImage Added |
This diagram shows a hierarchical view of the stated subtype relationships from the concepts above. | Stated subtype relationships | Image RemovedImage Added |
Caption label |
---|
CapId | comparison-of-stated-definitions |
---|
CapType | Table |
---|
|
Comparison of stated definitions |
This diagram shows a comparison of the stated definitions for Concept |
---|
ShowParts | term |
---|
t | 80146002 |Appendectomy| |
---|
| and Concept |
---|
ShowParts | term |
---|
t | 174036004 |Emergency appendectomy| |
---|
| from above. The two definitions are identical, except for the additional defining relationship on Concept |
---|
ShowParts | term |
---|
t | 174036004 |Emergency appendectomy| |
---|
| , which states that the priority is emergency.This means that a classifier can infer that Concept |
---|
ShowParts | term |
---|
t | 174036004 |Emergency appendectomy| |
---|
| is a logical subtype of Concept |
---|
ShowParts | term |
---|
t | 80146002 |Appendectomy| |
---|
| . | Image Removed | Image Added |
Caption label |
---|
CapId | deriving-the-inferred-relationships |
---|
CapType | Table |
---|
|
Deriving the inferred relationships |
This diagram shows that once the relationship Concept |
---|
ShowParts | term |
---|
t | 174036004 |Emergency appendectomy| |
---|
|
Concept |
---|
ShowParts | term |
---|
t | 116680003 |is a| |
---|
|
Concept |
---|
ShowParts | term |
---|
t | 80146002 |Appendectomy| |
---|
| is inferred, the stated relationship Concept |
---|
ShowParts | term |
---|
t | 174036004 |Emergency appendectomy| |
---|
|
Concept |
---|
ShowParts | term |
---|
t | 116680003 |is a| |
---|
|
Concept |
---|
ShowParts | term |
---|
t | 71388002 |Procedure| |
---|
| becomes redundant. | Image Removed
Image Added |
Combining Modules for Classification
...
The process of combining an extension with the content of the modules on which it depends is illustrated in below.Image Removedin
Caption reference |
---|
CapRefId | creating-inferred-relationships-of-extensions |
---|
CapRefType | Figure |
---|
|
below.Image Added
Caption label |
---|
CapId | creating-inferred-relationships-of-extensions |
---|
CapType | Figure |
---|
|
Creating inferred relationships for an extension |
It is important that all inferred relationships present in the International Edition are also present in the combined inferred view. This means that the Relationship file in an extension's edition should be a superset of the Relationship file in the International Edition. In particular:
...