> > 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, 23 April 2007 18:19:46 GMT