W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: rdfs closures

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 11 Nov 2002 00:22:57 +0100
To: jos.deroo.jd@belgium.agfa.com
Cc: w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
Message-ID: <OF759BB852.4272C323-ONC1256C6D.00803446-C1256C6D.00807D59@agfa.be>

[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:23:33 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:18 UTC