- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Wed, 24 Oct 2001 12:51:44 +0100
- To: phayes@ai.uwf.edu
- 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> ? according to http://dev.w3.org/cvsweb/~checkout~/2000/10/swap/log.n3 [[[ log:conjunction a rdf:Property; rdfs:label "conjunction"; rdfs:domain log:List; rdfs:range log:Formula; rdfs:comment """"A function to merge formulae: logical AND. The subject is a list of formulae. The object, which can be generated, is a formula containing a copy of each of the formulae in the list on the left. ]]] so I have done it completely wrong, sorry for the confusion the intention is to have --> there is something, say _:a1 and that something is the merge of a set of graphs identified by those URI's in object position (and then of course that merged graph entails a graph) help... -- Jos
Received on Wednesday, 24 October 2001 07:02:23 UTC