Page History

...

The SNOMED CT Logic Profile supports the following datatypes:

• rdf:PlainLiteral

• rdf:XMLLiteral

• rdfs:Literal

• owl:real

• owl:rational

• xsd:decimal

• xsd:integer

• xsd:nonNegativeIntegerxsd:string

• xsd:normalizedString

• xsd:token

• xsd:Name

• xsd:NCName

• xsd:NMTOKEN

• xsd:hexBinary

• xsd:base64Binary

• xsd:anyURI

• xsd:dateTime

• xsd:dateTimeStamp

The set of supported datatypes has been designed such that the intersection of the value spaces of any set of these datatypes is either empty or infinite, which is necessary to obtain the desired computational properties (refer to Pushing the EL Envelope ). Consequently, the following datatypes must not be used in SNOMED CT:

...

xsd:double ,

...

xsd:float ,

...

xsd:nonPositiveInteger ,

...

xsd:positiveInteger ,

...

xsd:negativeInteger ,

...

xsd:long ,

...

xsd:int ,

...

x sd:short ,

...

x sd:byte ,

...

xsd:unsignedLong ,

...

xsd:unsignedInt ,

...

xsd:unsignedShort ,

...

xsd:unsignedByte ,

...

xsd:language ,

...

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.

The following entities, literals, and individuals are not supported

...