Re: rdfs:subClassOf and metaclasses

pat hayes wrote:
>>
>> rdfs10
>> If E contains:
>>   xxx [rdf:type] [rdfs:Class]
>> then add:
>>   xxx [rdfs:subClassOf] xxx
> 
> 
> This is already a consequence of the current closure rules.

To the best of my knowledge, the fact that a class is a subclass of
itself is only derived if there are cycles in the class hierarchy
(because of rule rdfs8). The rule above derives this for every class.

In the inferencer for Sesame [1], we have added *two* additional rules
to the inferencer: the rule stated above for reflexivity of the
subClassOf relation, and a similar rule for reflexivity of the
subPropertyOf relation. When we added these two rules to Sesame's
inferencer the number of inferred statements increased.

Regards,

Arjohn

[1] http://sourceforge.net/projects/sesame

-- 
arjohn.kampman@aidministrator.nl
aidministrator nederland b.v.  -  http://www.aidministrator.nl/
prinses julianaplein 14-b, 3817 cs amersfoort, the netherlands
tel. +31-(0)33-4659987   fax. +31-(0)33-4659987

Received on Tuesday, 9 July 2002 05:54:14 UTC