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

That avoids the issue of whether or not a Class is an individual,
which I understand is the case in OWL FULL.
The Individual - Class distinction is the source of much confusion,
and I think it is desirable to explicitly discuss this in Section 5.2.
============
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: "webont-comments at W3C" <public-webont-comments@w3.org>
Sent: Thursday, May 08, 2003 2:07 AM
Subject: Re: "sameIndividualAs" error in OWL Language Reference 31 March
2003


> Richard H. McCullough wrote:
>
> > Section 5.2 says sameIndividualAs has domain and range of Individual
> >
> > Appendix B says sameIndividualAs has domain and range of Thing
>
> You're right that the following sentence in Sec. 5.2 is phrased too
sloppy:
>
> [[
> The property owl:sameAs has as its domain and range an individual
> ]]
>
> I propose to change this sentence to:
>
> [[
> The property owl:sameAs takes an individual as subject and object.
> ]]
>
> Please let us know whether this response is satisfactory.
>
> Thanks for 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:14:28 UTC