- From: Aaron Swartz <aswartz@upclink.com>
- Date: Thu, 31 May 2001 20:38:53 -0500
- To: Dan Connolly <connolly@w3.org>, <jos.deroo.jd@belgium.agfa.com>, <w3c-rdfcore-wg@w3.org>, <timbl@w3.org>
Dan Connolly <connolly@w3.org> wrote:
> { [ is log:resolvesTo of <rdfc25May.n3> ] log:includes
> [ is log:resolvesTo of <,xx.n3> ] } log:implies { :test1 a :Success
> }.
Isn't the requirement here a bit more stringent? log:includes, at least from
the name, implies a sort of subClass semantics -- that one includes the
triples of the other, but may include other triples. Shouldn't we insure
that a processor _only_ generates the correct triples and nothing more? Or
am I misunderstanding log:includes?
--
[ "Aaron Swartz" ; <mailto:me@aaronsw.com> ; <http://www.aaronsw.com> ]
Received on Thursday, 31 May 2001 21:39:05 UTC