Justification for asserted axiom is empty

protegeproject / explanation-workbench

A plug-in that adds explanation facilities to the Protege Desktop ontology editor.

3 stars 9 forks source link

Open csnyulas opened 5 years ago

csnyulas commented 5 years ago

It is confusing that the justification for an entailment that was asserted in the ontology shows an empty box.

csnyulas commented 5 years ago

Here is a screenshot: