- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Mon, 04 Feb 2002 21:59:14 +0000
- To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
- Cc: "RDF Core w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Yes, that all makes sense, but I'm not sure that I agree with your rdfr-theory.n3. By which, I mean that I don't think it is the only, or most reasonable, way to understand the current specification of RDF/reification. #g -- At 09:43 PM 2/4/02 +0100, Jos De_Roo wrote: >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 ------------------------------------------------------------ Graham Klyne MIMEsweeper Group Strategic Research <http://www.mimesweeper.com> <Graham.Klyne@MIMEsweeper.com>
Received on Monday, 4 February 2002 16:58:37 UTC