Skip to end of metadata
Go to start of metadata

A representation of semantic knowledge that allows formal reasoning to be applied based on axioms that state relationships between concepts.


Description logic definitions of SNOMED CT concepts are represented by defining relationships. The formal rules of description logic can be applied to defining relationships by software tools (description logic classifiers) to interpret the meaning of concepts. This enables confirmation of the logical integrity of the terminology, and can also be used to support meaning-based retrieval from SNOMED CT enabled record systems.


  • DL

Related Links