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

bug in InverseFunctionalProperty definition?

From: Tim Finin <finin@cs.umbc.edu>
Date: Wed, 07 May 2003 13:36:07 -0400
Message-ID: <3EB94407.60901@cs.umbc.edu>
To: www-webont-wg@w3.org, harry.chen@umbc.edu

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 GMT

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