For OWL this is more complex than you might think - I know the (brilliant) work of Matthew Horridge, basically it was his PhD computing minimal sets of OWL axioms from which a given axiom can be entailed by an OWL reasoner.
For Jena, we have [1] [1] https://jena.apache.org/documentation/inference/#derivations On 27.06.2018 21:37, Kenny Cason wrote: > In Protégé there is an "explain" button next to each inference, which allows > the user to see the path taken to create the inference. This is very handy in > answering questions like "how in the world did that inference get made". > Instead of starting with axioms and generating an inference, this takes an > inference and travels back to the axioms upon which it is based. > > Is there a Jena API or process that does the same thing? If so, is it > reasoner specific (I'm currently using HermiT)? > > Thanks, > > -Kenny Cason > Radiance Technologies > Cyber Solutions Group > 3133 General Hudnell Dr. Ste. 116 > San Antonio, TX 78226 > [email protected]<mailto:[email protected]> > 206.550.0049 > >
