Re: Questions about Reasoner Accountability

Dear Dörthe,

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

Oh, cool.  I will have a closer look at this.  I focused on Cwm as I
was trying to figure out if it was still actively maintained or not.

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

Yeah, I can live without the nice visualization if I can do some
interesting thing.  As for "work with OWL directly", I am not sure
what you mean.  I tend to use OWL to apply to an RDF dataset so I am
more interested in the decisions the reasoner makes than OWL itself.

Thank you very much for this.

All the best,
Chris