TEST: correction in I5.2/premises006 from Jos De_Roo on 2003-08-23 (www-webont-wg@w3.org from August 2003)

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sun, 24 Aug 2003 00:45:05 +0200
To: www-webont-wg@w3.org
Message-ID: <OF45B11D49.07E13E59-ONC1256D8B.007B7A88-C1256D8B.007CFEF6@agfa.be>

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

[[
diff -r1.3 premises006.rdf
98c98
<     <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