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

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

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Mon, 04 Feb 2002 21:59:14 +0000
Message-Id: <5.1.0.14.2.20020204215433.00a10a60@joy.songbird.com>
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 EST

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