Re: Practical N3/SW Uses

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

... have done that, but from an implementation perspective it was much, much
simpler: just a hashtable of synonym->synonymobject and appropriate lookups
and synonymobject compares (which is even quicker than string compares)
So thank you to let me have thought!

--
Jos

Received on Friday, 2 February 2001 11:21:12 UTC