SNOMED Documentation Search

 Other Documents
Skip to end of metadata
Go to start of metadata

Current Version - Under Revision

An inferred expression can be derived from a stated expression by applying rules that take account of the definition of the refined concept and the associated refined values.

Inferences are drawn based on a consistent set of logical rules applied to the expression taking account of the definitions of concepts referenced by the expression

Alternative semantically identical expressions may be generated using different logical transformations . The purpose of logical transformations is to support accurate and complete information retrieval through subsumption testing.

In general terms the types of transformation and resulting inferred views for expression are similar to those for concept definitions. The following sections of the guide identify some of inferred expression views and some of the differences between expressions and concept definitions