- From: pat hayes <phayes@ai.uwf.edu>
- Date: Mon, 23 Sep 2002 21:57:51 -0500
- 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 UTC