description logic classifier

A software tool that applies the rules of description logic to a set of axioms to infer additional relationships between concepts.

SNOMED CT concept definitions are processed by a description logic classifier to generate inferred subtype hierarchies.
SNOMED CT expressions can also be processed by a description logic classifier to make inferences that enable more complete and precise selective retrieval to support analytics.

Alternatives