search

protegeproject / explanation-workbench

A plug-in that adds explanation facilities to the Protege Desktop ontology editor.
3 stars 9 forks source link

Explanations for stated axioms exclude this axiom #12

Closed ykazakov closed 5 years ago

ykazakov commented 7 years ago

If I press (?) next to a stated axiom, e.g., NammedPizza SubClassOf Pizza in the pizza ontology, I get the empty explanation.

screen shot 2017-05-18 at 15 55 15

Clearly, the explanation should be not empty as this axiom is not a tautology.