- 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