SNOMED Documentation Search


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

Current Version - Under Revision

The following steps are applied to test if a normalized -predicate subsumes a normalized -candidate. This assumes that these normal form expressions have been generated as outlined in Transforming expressions to normal forms .

  1. Test that each focus concept referenced in the normalized -predicate subsumes at least one focus concept in the normalized -candidate.:
    • If not, the normalized -predicate does not subsume the normalized -candidate. No further testing is required:
      • Exit with result false .
    • The approach to testing concept subsumption is described in section 7.8.2.4.5.2.4 Testing concept subsumption .
  2. Test that each attribute group in the normalized -predicate subsumes at least one attribute group in the normalized -candidate:
  3. Test that each ungrouped attribute in the normalized -predicate subsumes at least one attribute (either grouped or ungrouped) in the normalized -candidate:
  4. If all these tests succeed, the normalized -predicate subsumes the normalized -candidate:
    • Exit with result true .

Feedback