- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: Mon, 11 Nov 2002 17:22:21 +0000
- To: Arjohn Kampman <arjohn.kampman@aidministrator.nl>
- Cc: Pat Hayes <phayes@ai.uwf.edu>, www-rdf-comments@w3.org
Arjohn, I was just going through the latest model theory and found: [[Notice that the question of whether or not a class contains itself as a member is quite different from the question of whether or not it is a subclass of itself. All classes are subclasses of themselves.]] as the very last thing in section 1.1. Brian At 12:36 11/11/2002 +0100, Arjohn Kampman wrote: >Brian McBride wrote: >>>The reflexivity rules for rdfs:subClassOf and rdfs:subPropertyOf still >>>seem to be missing. >> >>By which you mean: >> aaa rdfs:Class . >>entails >> aaa rdfs:subClassOf aaa . >>and similarly for properties. Yes. > >Exactly. > >>Following the threads you mentioned, I didn't find any replies that >>suggested they would be added to the next release. Do you have a reference? > >No, these e-mails we not cc-ed to the mailing list. > > >-- >Arjohn
Received on Monday, 11 November 2002 12:20:54 UTC