- From: Andrei S. Lopatenko <andrei@derpi.tuwien.ac.at>
- Date: Thu, 31 Jan 2002 00:44:23 +0100
- To: "Patrick Stickler" <patrick.stickler@nokia.com>, "RDF Interest" <www-rdf-interest@w3.org>, "RDF Logic" <www-rdf-logic@w3.org>
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