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

[...]

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