Error with Annotation Properties

Hello!

I have run into an issue with annotation properties and their support
by two popular validators.

Pellet [1] indicates that the following is OWL-Lite/DL, yet WonderWeb
[2] throws a warning due to an "Untyped Individual" and forces
OWL-Full.

<rdf:RDF 
  xmlns:owl="http://www.w3.org/2002/07/owl#"
  xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">

<owl:Class rdf:about="http://test/class">
  <rdfs:label>A class</rdfs:label>
  <rdfs:subClassOf>
    <owl:Restriction>
      <rdfs:label>A restriction</rdfs:label>
      <owl:onProperty rdf:resource="http://test" />
      <owl:minCardinality>1</owl:minCardinality>
    </owl:Restriction>
  </rdfs:subClassOf>
</owl:Class>

<owl:ObjectProperty rdf:about="http://test" />
</rdf:RDF>

Thanks for your time.

Webster

[1] http://www.mindswap.org/2003/pellet/demo
[2] http://phoebus.cs.man.ac.uk:9999/OWL/Validator

-- 
On the 'net, no one can infer that you are a dog.

Received on Monday, 11 April 2005 22:02:33 UTC