Implementing Pat's Blogic

What Pat says in
https://www.slideshare.net/PatHayes/blogic-iswc-2009-invited-talk
is so refreshing and inspiring to me that I wondered if anyone here
has implemented it or knows about an implementation?

Anyhow, I tried one but it is very premature.

The first example is
https://github.com/josd/eye/blob/master/reasoning/blogic/slide32.n3
which entails
https://github.com/josd/eye/blob/master/reasoning/blogic/slide32-answer.n3
using the eye reasoner.
It uses "turtle plus surfaces" notation and is a sub-notation3
but with explicit scope for blank nodes.

Another example is
https://github.com/josd/eye/blob/master/reasoning/blogic/socrates.n3
which entails
https://github.com/josd/eye/blob/master/reasoning/blogic/socrates-answer.n3
One should be able to reproduce this via
$ eye --nope --blogic
https://josd.github.io/eye/reasoning/blogic/socrates.n3 --pass

It is a very nice way to state negative statements and it can even
emulate clauses with more than one positive literal like in
https://github.com/josd/eye/blob/master/reasoning/blogic/abc.n3
which entails
https://github.com/josd/eye/blob/master/reasoning/blogic/abc-answer.n3

Also deriving negative surfaces should work like in
https://github.com/josd/eye/blob/master/reasoning/blogic/abcd.n3
which entails
https://github.com/josd/eye/blob/master/reasoning/blogic/abcd-answer.n3


Jos

-- https://josd.github.io