Brian said: [[ll classes are subclasses of themselves. <<this is true, but RDF Schema should use proper subsets instead of subsets. Using subsets logically permits such absurdities as: the set of all men is identical to the set of all animals.>>]] I'm intrigued by that one. We have a major flaw if that is true. Care to explain? I'm going to use some KR notation here because I think you will find it easier to understand. Here's the notation "is": man is animal sets are identical "iss": man iss animal man is proper subset of animal "iss*": man iss* animal man is subset of animal iss is the main property used in KR iss* is the rdfs:subClassOf property, and its meaning is that either man is animal or man iss animal and it's also the source of "bragging" about a class being a subclass of itself, i.e., man iss* man animal iss* animal ============ Dick McCullough knowledge := man do identify od existent done knowledge haspart list of propositionReceived on Thursday, 21 November 2002 17:27:27 UTC
This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:43 UTC