W3C home > Mailing lists > Public > www-webont-wg@w3.org > November 2002

RE: proposal to close Issue 5.8 Datatypes

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 26 Nov 2002 17:35:50 +0100
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, <www-webont-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDCEMLCAAA.jjc@hpl.hp.com>


I support Peter's proposal with two amendments, see in-line.

> -----Original Message-----
> From: www-webont-wg-request@w3.org
> [mailto:www-webont-wg-request@w3.org]On Behalf Of Peter F.
> Patel-Schneider
> Sent: 22 November 2002 02:12
> To: www-webont-wg@w3.org
> Subject: 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.

Exclude xsd:QName, xsd:ENTITY, xsd:NOTATION

(see
http://lists.w3.org/Archives/Public/www-archive/2002Nov/att-0092/02-index.ht
ml#context
)

>
> 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.


Hmmm, we should co-ordinate with RDF Core and XML Schema WGs on this one.
http://lists.w3.org/Archives/Public/www-archive/2002Nov/att-0092/02-index.ht
ml#uris

>
> 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
>
>
Received on Tuesday, 26 November 2002 11:36:04 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:55 GMT