W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: Review of Web Ontology Language (OWL) Test Cases

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sun, 5 Jan 2003 16:33:37 +0100
To: "shimizu <nshimizu" <nshimizu@green.ocn.ne.jp>
Cc: www-webont-wg@w3.org
Message-ID: <OF86A29CC4.B271C1B6-ONC1256CA5.0053B061-C1256CA5.00557B07@agfa.be>


[...]

> Comment 9.
>
> in D.1.1. owl:FunctionalProperty.
>
> Statements of the conclusuion of test case 005 are incorrect.
>
> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
> xmlns:owl ="http://www.w3.org/2002/07/owl#"
> xmlns:eg ="http://www.example.org/">
> <owl:Thing rdf:about="http://www.example.org/foo#object">
> <rdf:type>
> <owl:Restriction>
> <owl:onProperty>
> <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
> </owl:onProperty>
> <owl:maxCardinality
> rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
> >1</owl:maxCardinality>
> </owl:Restriction>
> </rdf:type>
> </owl:Thing>
> </rdf:RDF>
>
> SHOULD BE CHANGED TO
>
> <rdf:RDF xmlns:rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
> xmlns:owl =http://www.w3.org/2002/07/owl#
> xmlns:eg=http://www.example.org/>
> <owl:Thing rdf:about=http://www.example.org/foo#prop>
> <rdf:type>
> <owl:Restriction>
> </owl:Restriction>
> </rdf:type>
> </owl:Thing>
> <owl:onProperty>
> <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
> </owl:onProperty>
> <owl:maxCardinality
> rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
> >1</owl:maxCardinality>
> </rdf:RDF>

that would give some triples like

  eg:prop rdf:type owl:Thing.
  eg:prop rdf:type _:a.
  _:a rdf:type owl:Restriction.
  _:b1 rdf:type owl:onProperty.
  _:b2 rdf:type owl:maxCardinality "1"^^xsd:nonNegativeInteger.

out of which I can't make sense
I think Peter's intention was to have

  eg:object rdf:type owl:Thing.
  eg:object rdf:type _:a.
  _:a rdf:type owl:Restriction.
  _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger.
  _:a owl:onProperty eg:prop.
  eg:prop rdf:type owl:FunctionalProperty.


> Comment 10.
>
> in D.1.5. owl:allValuesFrom.
>
> Statements of the Description of test case 002 are incorrect.
>
> See someValuesFrom.
>
> SHOULD BE CHANGED TO
>
> See allValuesFrom.

right, DONE

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 5 January 2003 10:34:15 GMT

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