W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > October 2001

Re: entailment test case etc001

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Tue, 23 Oct 2001 23:33:23 -0500
Message-Id: <p05101056b7fbf392511b@[205.160.76.193]>
To: jos.deroo.jd@belgium.agfa.com
Cc: w3c-rdfcore-wg@w3.org
>I've written and tested
>   http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/#etc001
>In there we use an experimental description (in n3, nt and rdf) [1]
>and it runs with euler as
>   jview Euler etc001.nt
>
>Pat: are there use/mention bugs in
>      http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.n3
>

OK, I havn't been taking this log:implies stuff seriously, but if I 
am forced to, then I cannot make sense of it. For example this 
example contains the triple

_:a1 <http://www.w3.org/2000/10/swap/log#conjunction> 
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt> 
.

Now, what kind of thing is the object of that triple? What kinds of 
things are in the extension of the property 
<http:....log#conjunction> ?

Pat

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Wednesday, 24 October 2001 00:33:27 EDT

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