Re: Questions about Reasoner Accountability

Dear Chris,

As Jos did not mention it: his reasoner EYE (see: https://github.com/josd/eye) supports rdf-star. TriG could be simulated by simply adding a predicate (i.e. :graph1 {…} would become  :graph1 :predicate {…}.). (you can test the reasoner through: http://ppr.cs.dal.ca:3002/n3/editor/, unfortunately proofs are not yet available in the online-version).

But of course, you would not have the nice visualization you have now and if you prefer to work with OWL directly, the different approaches towards explanations could be better suited.

Kind regards,
Dörthe

Am 16.07.2022 um 13:58 schrieb Chris Yocum <cyocum@gmail.com<mailto:cyocum@gmail.com>>:

Dear Jos,

On Sat, Jul 16, 2022 at 12:31:38PM +0200, Jos De Roo wrote:
You could have a look at https://www.w3.org/DesignIssues/Logic.html and
find "proof"
or have a look at https://www.w3.org/DesignIssues/Rules.html and find "Oh
yeah?".

To make it concrete, a semantic web reasoner like Cwm
https://www.w3.org/2000/10/swap/doc/cwm

can check the proofs made by another reasoner like Eye
https://josd.github.io/eye/

For a simple example see
https://github.com/josd/eye/tree/master/reasoning/socrates or
https://github.com/josd/eye/tree/master/reasoning/socrates


Jos

PS a bit related but still in progress is
http://josd.github.io/Talks/2022/06welding/#(1)

Thank you for this.  It seems very interesting and in your talk
(http://josd.github.io/Talks/2022/06welding/) would be in a way what I
am looking for.

I had a look at Cwm but it looked to me that it has been abandoned.  I
looked through the email lists and the last message was 3 years ago.
My dataset uses TrIG and RDF* and it did not look in the brief glance
that I took like Cwm supported that.

At the moment I am using GraphDB free edition because it is simple to
use and has some nice visualization of results.

Thank you again, I will have a deeper look at some of your repos as
well.

All the best,
Chris