- From: Arjohn Kampman <arjohn.kampman@aidministrator.nl>
- Date: Tue, 09 Jul 2002 11:53:39 +0200
- To: pat hayes <phayes@ai.uwf.edu>
- CC: www-rdf-comments@w3.org
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