Unary DT Implementation

Unary Datatype Implementation Report

Goal of this document is to provide a repository of information on existing implementations for use in WG discussion of OWL 1.1 features.

References

OWL 1.0 & RDF

• OWL 1.0 S&AS on Datatypes: includes list of XML Schema types for use as built-in datatypes
  • OWL 1.0 Reference: repeats list, but provides implementation guidelines, including minimum support
• RDF Semantics on Datatypes: reference used to explain why other XML Schema datatypes are problematic

OWL 1.1

• Data Ranges in Syntax
  • Lists the following facets, with semantics described in XML Schema, Part 2, Section 4.3

'length' | 'minLength' | 'maxLength' | 'pattern' | 'minInclusive' | 'minExclusive' | 'maxInclusive' | 'maxExclusive' | 'totalDigits' | 'fractionDigits'

Reasoners

See implementation matrix for status on built-ins listed in OWL 1.0 docs and facets listed in member submissions.

Additional Notes By Reasoner

Pellet 1.5.1

• Supports SimpleTypes in external XML Schema documents by name
• Supports xsd:duration