Re: entailment test case etc001

>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