Expression Constraint Language

Search

SNOMED CT Document Library

    Loading...

Versions Compared

Old Version 1

changes.mady.by.user David Markwell

Saved on

compared with

New Version 2

changes.mady.by.user Linda Bird

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Attribute cardinality

Overview

To support use cases such as the SNOMED CT concept model and terminology binding, expression constraints may constrain the number of times an attribute can be included in an expression or concept definition represented in the SNOMED CT distribution view

Footnote Macro

For more information about the SNOMED CT distribution view, please refer to Sections 4.2.1.3.2.3.1.2 and 4.2.1.3.2.3.2.2 of the SNOMED CT Technical Implementation Guide [8]. Please note that full normalization of expressions (as would be performed by a Description Logic classifier) is required prior to evaluation.

. This is done using a cardinality constraint, which consists of a minimum cardinality and a maximum cardinality (written "[X..Y]"). A minimum cardinality of X constrains the valid clinical meanings to those which have at least (i.e. >=) X non-redundant Anchor_Ref413757225
_Ref413757225
Footnote Macro

As defined in Section 4.2.1.3.2.3.2.2 of the the SNOMED CT Technical Implementation Guide [8].

attributes that match the given attribute criteria. A maximum cardinality of Y constrains the valid clinical meanings to those which have at most (i.e. <=) Y non-redundant5 attributes
Footnote Macro

As defined in the SNOMED CT Technical Implementation Guide.

 attributes that match the given attribute criteria. For example, a cardinality of "[1..5]" indicates that all clinical meanings that satisfy the given expression constraint must have at least one and at most five attributes that match the given attribute criteria.
The expression constraint below is satisfied only by products with one, two or three active ingredients.
Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1..3] 127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|
Using the long syntax, this expression constraint may be represented as:
Scg expression
   descendantOf 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1 to 3] 127489000 |
has 
Has active ingredient| = descendantOf 105590001 |
substance
Substance|
The following expression constraint is satisfied only by products which have exactly one active ingredient:
Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1..1] 127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|

Unconstrained cardinalities

A minimum cardinality of '0' indicates that there is no constraint on the minimum number of attributes that may match the given attribute criteria. For example, the following expression constraint is satisfied only by products with at most one active ingredient (i.e. the maximum cardinality is '1' and the minimum cardinality is unconstrained).

Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [0..1] 127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|
Using the long syntax, this may be represented as:
Scg expression
   descendantOf 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [0 to 1] 127489000 |
has 
Has active ingredient| = descendantOf 105590001 |
substance
Substance|
A maximum cardinality of '*' (or 'many') indicates that there is no constraint on the maximum number of attributes that may match the given attribute criteria. For example, the following expression constraint is satisfied only by products that have at least one active ingredient (i.e. the minimum cardinality is '1' and the maximum cardinality is unconstrained).
Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1..*] 127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|
Using the long syntax, this may be represented as:
Scg expression
   descendantOf 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1 to many] 127489000 |
has 
Has active ingredient| = descendantOf 105590001 |
substance
Substance|
A cardinality of [0..*] should therefore never be used as this indicates that the given attribute is not being constrained in any way, and is therefore a redundant part of the expression constraint.

Default cardinalities

The default cardinality of each attribute, where not explicitly stated, is [1..*]. Therefore, the following two expression constraints are equivalent.

Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1..*] 127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|
Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:

127489000 |has active ingredient| = < 105590001 |substance

         127489000 |Has active ingredient| = < 105590001 |Substance|

Non-redundant attributes

As mentioned above, only non-redundant defining attributes are included in the cardinality count. Therefore, the following postcoordinated expression:

Scg expression
   < 404684003 |
clinical 
Clinical finding|:


         {116676008 |
associated 
Associated morphology| = 72704001 |
fracture
Fracture|,

363698007 |finding site| = 299701004 |bone of forearm|,
363698007 |finding site| = 62413002 |bone structure of 

          363698007 |Finding site| = 299701004 |Bone of forearm|,
          363698007 |Finding site| = 62413002 |Bone structure of radius|}
will successfully satisfy the expression constraint:
Scg expression
   < 404684003 |
clinical 
Clinical finding|:


         [1..1] 363698007 |
finding 
Finding site| = < 91723000 |
anatomical 
Anatomical structure|
This is because
Scg expression
299701004 |
bone 
Bone of forearm|
is 
 is a supertype of
 Scg expression
62413002 |
bone 
Bone structure of radius|
 and 
 and therefore the attribute "
 Scg expression
363698007 |
finding 
Finding site| = 299701004 |
bone 
Bone of forearm|
" is redundant.
Attribute cardinality in groups
When the attributes to which cardinality are applied can be grouped, but braces are not used in the expression constraint, the cardinality constrains the number of times the attribute may be included in any attribute group. For example, the following expression constraint is satisfied by any clinical finding whose definition has two or more non-redundant finding sites, irrespective of which attribute group they are contained in.
 Scg expression
   < 404684003 |
clinical 
Clinical finding|:

 
         [2..*] 363698007 |
finding 
Finding site| = < 91723000 |
anatomical 
Anatomical structure|
In contrast, when braces are placed around an attribute with a given cardinality, there must exist at least one attribute group for which the given cardinality is satisfied by attributes in that group. For example, the following expression constraint is satisfied by any clinical finding whose definition contains an attribute group with two or more non-redundant finding sites.
 Scg expression
   < 404684003 |
clinical 
Clinical finding|:

 { 
 
         { [2..*] 363698007 |
finding 
Finding site| = < 91723000 |
anatomical 
Anatomical structure| }
Attribute group cardinality
Minimum and maximum cardinalities may also be applied to attribute groups. A minimum attribute group cardinality of X constrains the valid clinical meanings to those which have at least (i.e. >=) X non-redundant attribute groups that match the given attribute group criteria. A maximum cardinality of Y constrains the valid clinical meanings to those which have at most (i.e. <=) Y non-redundant attribute groups that match the given attribute group criteria. For example, a cardinality of "[1..2]" indicates that all clinical meanings that satisfy the given expression constraint must have at least one and at most two attribute groups that match the given attribute group criteria.
The expression constraint below is satisfied only by products with one, two or three attribute groups, which each contain at least one active ingredient relationship.
 Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1..3] { [1..*] 127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|}
Please note that the above expression constraint is equivalent to:
 Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1..3] {127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|}
And may be written using the long syntax as:
 Scg expression
   descendantOf 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1 to 3] { [1 to many] 127489000 |
has 
Has active ingredient|
 = 
 descendantOf 105590001 |substance
 = 
               descendantOf 105590001 |Substance|}
Unconstrained cardinalities
As with attribute cardinalities, a minimum cardinality of '0' indicates that there is no constraint on the minimum number of attribute groups that may match the given attribute group criteria. For example, the following expression constraint is satisfied only by products with at most one attribute group containing an active ingredient relationship (i.e. the maximum attribute group cardinality is '1' and the minimum attribute group cardinality is unconstrained).
 Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [0..1] {127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|}
Using the long syntax, this may be represented as:
 Scg expression
   descendantOf 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [0 to 1] {127489000 |
has 
Has active ingredient| = descendantOf 105590001 |
substance
Substance|}
A maximum cardinality of '*' (or 'many') indicates that there is no constraint on the maximum number of attribute groups that may match the given attribute group criteria. For example, the following expression constraint is satisfied only by products that have at least one attribute group containing an active ingredient relationship (i.e. the minimum attribute group cardinality is '1' and the maximum attribute group cardinality is unconstrained).
 Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1..*] {127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|}
Using the long syntax, this may be represented as:
 Scg expression
   descendantOf 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1 to *] {127489000 |
has 
Has active ingredient| = descendantOf 105590001 |
substance
Substance|}
A cardinality of [0..*] should therefore never be used as this indicates that the given attribute group is not being constrained in any way, and is therefore a redundant part of the expression constraint.
Default cardinalities
As with attribute cardinality, the default attribute group cardinality, where not explicitly stated, is [1..*]. 
 Therefore, the following four expression constraints are equivalent.
 Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         {127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|}
 Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:

 { 

         { [1..*] 127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|}
 Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1..*] {127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|}
 Scg expression
   < 373873005 |
pharmaceutical 
Pharmaceutical / biologic product|:


         [1..] { [1..] 127489000 |
has 
Has active ingredient| = < 105590001 |
substance
Substance|}
Non-redundant attribute groups
As mentioned above, only non-redundant defining attributes are included in the cardinality count. Therefore, the following postcoordinated expression:
 Scg expression
   < 404684003 |
clinical 
Clinical finding|:


         {363698007 |
finding 
Finding site| = 299701004 |
bone 
Bone of forearm|},


         {363698007 |
finding 
Finding site| = 62413002 |
bone 
Bone structure of radius|}
will successfully satisfy the expression constraint:
 Scg expression
   < 404684003 |
clinical 
Clinical finding|:


         [1..1] {363698007 |
finding 
Finding site| = < 91723000 |
anatomical 
Anatomical structure|}
This is because
 Scg expression
299701004 |
bone 
Bone of forearm|
 is 
 is a supertype of
 Scg expression
62413002 |
bone 
Bone structure of radius|
 and 
 and therefore the attribute group "
 Scg expression
{363698007 |
finding 
Finding site| = 299701004 |
bone 
Bone of forearm|}
" is redundant.
Attribute and attribute group cardinalities
Attribute cardinalities and attribute group cardinalities can be used together to achieve a combined effect. For example, to represent the set of clinical findings which have no attribute groups that contain two or more finding site attributes (in the same attribute group), the following expression constraint can be used:
 Scg expression
   < 404684003 |
clinical 
Clinical finding|:

 
         [0..0] { [2..*] 363698007 |
finding 
Finding site| = < 91723000|
anatomical 
Anatomical structure|}
 
 Display Footnotes Macro