SNOMED CT Logic Profile Specification

Search

SNOMED CT Document Library

    Loading...

Versions Compared

Old Version 3

changes.mady.by.user Dion McMurtrie

Saved on

compared with

New Version Current

changes.mady.by.user Yongsheng Gao

Saved on

Key

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

...

  • xsd:decimal

  • xsd:integer

  • xsd:string

  • xsd:dateTime

This is a selected subset of those datatypes supported by OWL 2 EL to simplify tooling implementation by limiting possible variations to a compact but useful set.

...

Inverse properties are not supported in the SNOMED Logic Profile, so object property expressions are restricted to named properties. Data property expressions are defined in the same way as in the OWL 2 structural specification.

ObjectPropertyExpression := ObjectProperty

Class Expressions

In order to allow for efficient reasoning, the SNOMED CT Logic Profile restricts the set of supported class expressions to ObjectIntersectionOf, ObjectSomeValuesFrom, and DataHasValue.

ClassExpression :=

    Class | ObjectIntersectionOf | ObjectSomeValuesFrom | DataHasValue

Data Ranges

A data range expression is restricted in the SNOMED CT Logic Profile to single data values, ranges and enumerations are not permitted.

DataRange := Datatype

Axioms

The class axioms of the SNOMED CT Logic Profile are the same as in the OWL 2 structural specification, with the exception that DisjointUnion is disallowed. Different class axioms are defined in the same way as in the OWL 2 structural specification, with the difference that they use the new definition of ClassExpression.

ClassAxiom := SubClassOf | EquivalentClasses | DisjointClasses

The SNOMED CT Logic Profile supports the following object property axioms, which are defined in the same way as in the OWL 2 structural specification, with the difference that they use the new definition of ObjectPropertyExpression.

ObjectPropertyAxiom :=

    EquivalentObjectProperties | SubObjectPropertyOf |

    ReflexiveObjectProperty | TransitiveObjectProperty

The SNOMED CT Logic Profile does not support ObjectPropertyDomain and ObjectPropertyRange as they are supported via the SNOMED CT Machine Readable Concept Model.

The SNOMED CT Logic Profile supports the following axioms about data properties:

DataPropertyAxiom :=

    SubDataPropertyOf | EquivalentDataProperties | FunctionalDataProperty

The SNOMED CT Logic Profile does not support the following axioms about data properties:

...

The SNOMED CT Logic Profile does not apply the additional global restriction in section 2.2.6 Global Restrictions of the OWL 2 EL profile. The condition this section applies is only relevant to  ObjectPropertyRange which the SNOMED CT Logic Profile does not support.