TEST: correction in I5.2/premises006

I have corrected http://www.w3.org/2002/03owlt/I5.2/premises006

diff -r1.3 premises006.rdf
<     <owl:Class rdf:about="notB"/>
>     <owl:Class rdf:about="#notB"/>

If I'm right, this was reported before, but I forgot and
I hadn't noticed this in our proof [1], but that was because
there was a bug in [2] which is now corrected (owl13u0).

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

[1] http://www.agfa.com/w3c/temp/owl-proof.n3
    which is rather long (480 pages)
[2] http://www.agfa.com/w3c/euler/owl-rules.n3
    which still might contain bugs
[3] http://www.agfa.com/w3c/temp/owl.txt
    summary of testresults

Received on Saturday, 23 August 2003 18:45:14 UTC