Re: rdfs closures

[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