Re: Take 2: how does existing RDF software handle this datatypes test?

As far as I understand
DAML does not try to define semantics of XML Schemas datatypes
So use of different XML Schemas classes as a types  does not say for DAML
agent tha those close are disjoint - the elements MAYBE the same
XML Schemas says about equality relations only inside one "value space", not
about between different value spaces So in such case when XML Schema
datatypes are specified for elements, it can not be prroved that they have
the same value


Best regards
MSc Andrei S. Lopatenko
Researcher
Vienna University of Technology
A chairman of CERIF Task Group
euroCRIS conc.
http://purl.org/NET/andrei



----- Original Message -----
From: "Patrick Stickler" <patrick.stickler@nokia.com>
To: "RDF Interest" <www-rdf-interest@w3.org>; "RDF Logic"
<www-rdf-logic@w3.org>
Sent: Thursday, January 31, 2002 12:06 PM
Subject: Take 2: how does existing RDF software handle this datatypes test?


>
> In the interest of exploring this issue with the expectation
> of datatyping rather than its total absence, could those of
> you who have provided results based on Dan's original example
> please indicate results from the following extended examples,
> which includes explicit datatyping:
>
> Case A: (global typing)
>
> <rdf:RDF
> xmlns="file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/dt10-premise.n3#"
>     xmlns:dc="http://purl.org/dc/elements/1.1/"
>     xmlns:ex="http://example/vocab#"
>     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
>     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
>
>     <rdf:Description>
>         <rdf:type rdf:resource="#Film"/>
>         <dc:title>10</dc:title>
>     </rdf:Description>
>
>     <rdf:Description rdf:about="#mary">
>         <ex:age>10</ex:age>
>     </rdf:Description>
>
>     <rdf:Description rdf:about="http://purl.org/dc/elements/1.1/title">
>        <rdfs:range
rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
>     </rdf:Description>
>
>     <rdf:Description rdf:about="http://example/vocab#age">
>        <rdfs:range
rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
>     </rdf:Description>
> </rdf:RDF>
>
> Case B: (local typing)
>
> <rdf:RDF
> xmlns="file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/dt10-premise.n3#"
>     xmlns:dc="http://purl.org/dc/elements/1.1/"
>     xmlns:ex="http://example/vocab#"
>     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
>     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
>
>     <rdf:Description>
>         <rdf:type rdf:resource="#Film"/>
>         <dc:title>
>            <rdf:Description>
>               <rdf:type
> rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
>               <rdf:value>10</rdf:value>
>            </rdf:Description>
>         </dc:title>
>     </rdf:Description>
>
>     <rdf:Description rdf:about="#mary">
>         <ex:age>
>            <rdf:Description>
>               <rdf:type
> rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
>               <rdf:value>10</rdf:value>
>            </rdf:Description>
>         </ex:age>
>     </rdf:Description>
>
> </rdf:RDF>
>
> And, per Dan's original example, for each case:
>
> Suppose I asked you:
>     does that document say that
>     there's something with a dc:title?
> I hope you'd say: yes, of course.
> Now... suppose I ask:
>     whatever that title is, let's call it X.
>     Does that document also say that there's
>     something with ex:age of that same X?
>
> Do you consider the results to be logically correct?
>
> Thanks,
>
> Patrick
>
>
>

Received on Thursday, 31 January 2002 06:44:49 UTC