This was a very useful day! I am very thankful for the testcases made by Patrick and Brian. They made it possible to fix very serious bugs we had in Euler. We now find at [1] and [2] that ( <http://www.agfa.com/w3c/n3/p1.nt> ) log:entails <http://www.agfa.com/w3c/n3/p2.nt> . ( <http://www.agfa.com/w3c/n3/b1.nt> ) log:entails <http://www.agfa.com/w3c/n3/b2.nt> . but the latter one needs http://www.agfa.com/w3c/euler/rdfr-theory.n3 which is only a first guess -- Jos [1] http://www.agfa.com/w3c/n3/p3.n3 [2] http://www.agfa.com/w3c/n3/b3.n3Received on Monday, 4 February 2002 15:43:52 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:03 EDT