Re: Reflexivity of subClassOf and subPropertyOf (was: Re: comments on RDF MT)

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