proposal to close Issue 5.8 Datatypes

I propose that we close issue 5.8 with the following resolution(s):

1/ The exchange syntax for OWL will use RDF datatyping.

2/ The abstract syntax for OWL will use <datatype><lexical> as the syntax
   for typed data values and will only allow lexical forms that are valid
   for the datatype, i.e., <xd:integer>1.5 is not a valid typed literal in
   the abstract syntax.

3/ OWL will include all XML Schema built-in non-list simple types, using the
   canonical URI reference for them.

4/ OWL can use XML Schema non-list simple types defined at the top
   level of an XML Schema document and given a name, by using the URI
   reference constructed from the URI of the document and the local name of
   the simple type.  That is, if U is the URI of an XML Schema document
   that contains, 
   <xsd:schema ...>
     <xsd:simpleType name="foo">
       <xsd:restriction base="integer">
        <xsd:minInclusive value="1700">
       </xsd:restriction>
     </xsd:simpleType>
     ...
   </xsd:schema>
   then the URI reference U#foo will be that datatype.

   Implementations of OWL may choose to ignore the facets such a type.

5/ Cardinality restrictions in the exchange syntax for OWL will use typed
   literals, as in 
             _:x rdf:type owl:Restriction .
             _:x owl:onProperty ex:foo .
             _:x owl:cardinality "5"^^xsd:decimal . 

The semantics document has been updated to reflect all this, but some
changes probably need to be made to the other documents.

peter