W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

Re: possible semantic bugs concerning domain and range

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 23 Sep 2002 21:57:51 -0500
Message-Id: <p05111b4eb9b58446e308@[65.217.30.172]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-webont-wg@w3.org

>From: "Jonathan Borden" <jonathan@openhealth.org>
>Subject: Re: possible semantic bugs concerning domain and range
>Date: Mon, 23 Sep 2002 17:55:38 -0400
>
>  > Peter F. Patel-Schneider wrote:

[...]


>Think of what happens if you assert
>
>  foo rdfs:range ex:OddInteger .
>  ex:OddInteger rdfs:subClassOf ex:Integer .
>  foo rdfs:range ex:Integer .
>
>Aside from the actual rdfs:range stuff, this has the same interpretations
>as

Yes, but we are TALKING about the actual rdfs:range stuff. This is 
like saying, apart from their nationality, people are the same (true) 
therefore they all have the same nationality (false).

Pat


>  foo rdfs:range ex:OddInteger .
>  ex:OddInteger rdfs:subClassOf ex:Integer .
>
>so why shouldn't a range of foo be ex:Integer?

Because it isn't; but more seriously, because you might want to 
associate some significant information with that range class, 
information that you do not want to associate with ex:Integer (such 
as, for example, that the class is a proper subclass of ex:Integer). 
Classes can be a lot more than their extensions.

Pat

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Monday, 23 September 2002 22:57:44 GMT

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