monotonic abduction in n3

inspired by http://artint.info/html/ArtInt_133.html
and using http://eulersharp.sourceforge.net/README#eye


eye --nope \
http://eulersharp.sourceforge.net/2007/07test/alpP001.n3 \
http://eulersharp.sourceforge.net/2007/07test/alpA001.n3 \
--query http://eulersharp.sourceforge.net/2007/07test/alpQ001.n3 \
> http://eulersharp.sourceforge.net/2007/07test/alpE001.n3

eye --nope \
http://eulersharp.sourceforge.net/2007/07test/alpP001.n3 \
http://eulersharp.sourceforge.net/2007/07test/alpA001.n3 \
--query http://eulersharp.sourceforge.net/2007/07test/alpQ002.n3 \
> http://eulersharp.sourceforge.net/2007/07test/alpE002.n3

eye --nope \
http://eulersharp.sourceforge.net/2007/07test/alpP001.n3 \
http://eulersharp.sourceforge.net/2007/07test/alpA001.n3 \
--query http://eulersharp.sourceforge.net/2007/07test/alpQ003.n3 \
> http://eulersharp.sourceforge.net/2007/07test/alpE003.n3


Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T  +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Agfa HealthCare NV, Moutstraat 100, 9000 Gent, Belgium
http://www.agfa.com/healthcare

Received on Tuesday, 27 July 2010 22:26:23 UTC