bug in InverseFunctionalProperty definition?

Harry Chen, one of our PhD students, points out what appears
to be an error in the definition of InverseFunctionalProperty
in http://www.w3.org/TR/owl-ref.

-------- Original Message --------
Subject: bug in owl?
Date: Wed, 7 May 2003 12:35:39 -0400
From: Harry Chen <harry.chen@umbc.edu>
To: Tim Finin <finin@cs.umbc.edu>

In OWL ref spec [1], it says the following about
owl:InverseFunctionalProperty

Syntactically, an inverse-functional property axiom is specified by
declaring the property to be an instance of the built-in class
owl:InverseFunctionalProperty, which is a subclass of the OWL class
owl:ObjectProperty.

NOTE: it's a subclass of owl:ObjectProperty.

However, in the actual XML representation...

   <rdfs:Class rdf:ID="InverseFunctionalProperty">
      <rdfs:label>InverseFunctionalProperty</rdfs:label>
      <rdfs:subClassOf rdf:resource="&rdf;Property"/>
   </rdfs:Class>

If you also think this is a bug, whom should we report this to?

[1] http://www.w3.org/TR/owl-ref

- Harry

--
Harry Chen <> Ebiquity Research Group <> Dept. of CSEE, UMBC
mailto:harry.chen@umbc.edu <> http://www.cs.umbc.edu/~hchen4
<>   8303 775C F587 8F91 673B  000A C396 A7F5 C12B D936   <>

Received on Wednesday, 7 May 2003 13:36:19 UTC