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

I consider that response to be unsatisfactory.
"Identity" is the most basic concept in logic.
OWL should be able to express "identity" directly,
instead of having to prove it.
============ 
Dick McCullough 
knowledge := man do identify od existent done; 
knowledge haspart proposition list; 
----- Original Message ----- 
From: "Guus Schreiber" <schreiber@cs.vu.nl>
To: "Richard H. McCullough" <rhm@cdepot.net>
Cc: <public-webont-comments@w3.org>
Sent: Thursday, May 08, 2003 1:52 AM
Subject: 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 05:04:36 UTC