W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

first guess rdfr-theory [was:Re: reification test case]

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>
Message-ID: <OF19A17C4B.75FD075E-ONC1256B56.00714B9D@agfa.be>

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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:03 EDT