- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Mon, 29 Jan 2001 00:50:21 +0100
- To: " - *sean@mysterylights.com" <sean@mysterylights.com>
- Cc: " - *swag-dev@yahoogroups.com" <swag-dev@yahoogroups.com>, " - *www-rdf-interest@w3.org" <www-rdf-interest@w3.org>
> > 1. An identifier id without colon is treated as <#id>.
> Is it? It shouldn't be according to the syntax: it should treat it as an
> undetermined keyword, I think.
Well, I agree, it's just that I found some coinedBy's (without leading colon)
in coinedBy.n3 ...
I will change it back to keyword implementation.
> I have made one really useful generic filter, that works out equivalence:-
> @prefix log: <http://www.w3.org/2000/10/swap/log.n3#> .
> @prefix daml: <http://www.daml.org/2000/10/daml-ont#> .
> <> log:forAll <#x> , <#y> , <#p> , <#q> .
> { <#q> daml:equivalentTo <#p> . <#x> <#p> <#y> . }
> log:implies
> { <#x> <#q> <#y> .} .
> - http://infomesh.net/swag/n3/hackings/bmwdeeleyf.n3
>
> But I'd appreciate more thoughts, ideas, and stuff to parse. It's hard
> thinking up useful and quick examples.
My initial thinking was to implement = as two times log:implies
like in http://www.agfa.com/w3c/euler/equiv.axiom.n3
but I have to think about your proposal ...
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 28 January 2001 18:51:18 UTC