MT RDFS closure rule bug?

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 25 Jun 2002 14:57:07 +0100
To: "RDF Core" <w3c-rdfcore-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDKECHCEAA.jjc@hplb.hpl.hp.com>

Pat,

don't we need RDFS closure rules that add range and domain constraints
e.g.

aaa [rdfs:range] yyy
yyy [rdfs:subClassOf] zzz

then add

aaa [rdfs:range] zzz


and similarly for rdfs:domain.

Jeremy

Received on Tuesday, 25 June 2002 09:57:29 UTC