W3C home > Mailing lists > Public > www-rdf-interest@w3.org > January 2001

Re: Practical N3/SW Uses

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>
Message-Id: <0006800039900495000002L052*@MHS>
> > 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:47 GMT