- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Mon, 4 Feb 2002 21:43:11 +0100
- To: "Patrick Stickler <patrick.stickler" <patrick.stickler@nokia.com>
- Cc: "Jeremy Carroll <jjc" <jjc@hplb.hpl.hp.com>, "Dan Connolly <connolly" <connolly@w3.org>, "Brian McBride <brian_mcbride" <brian_mcbride@hp.com>, "RDF Core <w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
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.n3
Received on Monday, 4 February 2002 15:43:52 UTC