- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Mon, 11 Nov 2002 00:24:31 +0100
- To: jos.deroo.jd@belgium.agfa.com
- Cc: w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org, phayes@ai.uwf.edu
[correction to my previous message] > anyhow, I ran all my tests with that > and there was only one thing that wasn't > provable, namely > rdf:type rdfs:domain rdfs:Resource . > > and that could be found while adding > rdfs2a (and rdfs3a then as well) > I'm not sure wether we want that it's always the same, I shouldn't say things without testing them first ... those rules are not helping to derive rdf:type rdfs:domain rdfs:Resource. so I added that triple as a premise I did a test with rdfs2a and rdfs3a and we then have a huge increase to 58254261 steps (compared to 174323) for a set of 69 tests -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 10 November 2002 18:25:08 UTC