Re: "sameAs" error in OWL Language Reference 31 March 2003

Richard H. McCullough wrote:

 > Section 5.2 says sameAs is a synonym for sameIndividualAs
 >
 > Appendix B says sameAs is a subProperty of sameIndividualAs

Thanks for your comment and for reviewing our documents.
Appendix B indeed defines sameAs as a subproperty of sameIndividualAs, 
but also the inverse: sameIndividualAs is defined as a subproperty of 
sameAs:

[[
<rdf:Property rdf:ID="sameIndividualAs">
   <rdfs:label>sameIndividualAs</rdfs:label>
   <rdfs:domain rdf:resource="#Thing"/>
   <rdfs:range rdf:resource="#Thing"/>
   <rdfs:subPropertyOf rdf:resource="#sameAs"/>
</rdf:Property>

<rdf:Property rdf:ID="sameAs">
   <rdfs:label>sameAs</rdfs:label>
   <rdfs:subPropertyOf rdf:resource="#sameIndividualAs"/>
</rdf:Property>
]]

The combination of these two subproperty statements implies that the 
extensions of sameAs and sameIndividualAs are identical.

Please let us know whether this response is satisfactory.

Thanks again for your comment,
Guus Schreiber

 >
 > ============
 > Dick McCullough <mailto:rhm@cdepot.net>
 > knowledge <http://rhm.cdepot.net/> *:=* man *do* identify *od* 
existent *done;*
 > knowledge <http://www.volcano.net/~rhm/knowledge> *haspart* 
proposition list;


-- 
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 04:52:08 UTC