>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/~phayesReceived 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