Page History
...
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 | ||||
---|---|---|---|---|
|
...
Inferred relationships are derived from the set of
Gloss | ||
---|---|---|
|
...
Note | ||||
---|---|---|---|---|
Some more advanced axioms (e.g.
|
...