Re: bug in InverseFunctionalProperty definition?

Tim Finin wrote:
> 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.

Thanks, Harry, for spotting that. The error has been corrected in the 
editor's draft.
Guus

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

-- 
NOTE: new affiliation per April 1, 2003

Free University Amsterdam, Computer Science
De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Tel: +31 20 444 7739/7718
E-mail: schreiber@cs.vu.nl
Home page: http://www.cs.vu.nl/~guus/ [under construction]

Received on Thursday, 8 May 2003 07:46:08 UTC