...

The SNOMED CT Logic Profile supports the following datatypes:

• xsd:boolean

• xsd:decimal

• xsd:integer

• xsd:string

• xsd:dateTime

...

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.

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 .

Data Ranges

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

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 .

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 .

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:

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

...