Computing justifications for A implies owl:Nothing and A implies owl:Thing should terminate gracefully

protegeproject / explanation-workbench

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

3 stars 9 forks source link

Closed rsgoncalves closed 5 years ago

csnyulas commented 7 years ago

Related to #621

ykazakov commented 7 years ago

I think this happens for all tautologies, see protegeproject/explanation-workbench#11

matthewhorridge commented 7 years ago

Yes, long standing bug that needs fixing.