Get inferences explanation ?

Posted by Fla on
URL: http://owlready.306.s1.nabble.com/Get-inferences-explanation-tp1792.html

Hello everybody

Is there any mean to get back inferences explanation ?

For instance if a new property is added to an object by reasoner, i would like to question the reasoner in order to get logical explanation (rule R(i) with those axioms, then Rule(j) with ... etc.)

I've seen "Querying inferred classification" in documentation, but i need more from inference engine (Pellet)

Any idea ? Any sugestion ?

Many thanks,