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

Re: entailment test case etc001

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
Message-Id: <OFE54B2F4A.8D0AC017-ON41256AEF.003E7478@bayer-ag.com>

>> 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)

Received on Wednesday, 24 October 2001 07:02:23 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:52 UTC