W3C home > Mailing lists > Public > semantic-web@w3.org > September 2021

Implementing Pat's Blogic

From: Jos De Roo <josderoo@gmail.com>
Date: Fri, 24 Sep 2021 01:10:40 +0200
Message-ID: <CAJbsTZf6yDrJ3b_Lds+3JDUD1sg=ZyKfwKVe+PCJARkiQVsfUQ@mail.gmail.com>
To: semantic-web <semantic-web@w3.org>
Cc: Patrick J Hayes <phayes@ihmc.us>
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
Received on Thursday, 23 September 2021 23:11:03 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 23 September 2021 23:11:03 UTC