Justifications for unsatisfiable properties are not shown

protegeproject / explanation-workbench

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

3 stars 9 forks source link

Justifications for unsatisfiable properties are not shown #16

Open rsgoncalves opened 7 years ago

rsgoncalves commented 7 years ago

Level: INFO Time: 1490807563311 Message: [Explanation] Computing justifications for EquivalentObjectProperties(http://www.semanticweb.org/rgoncalves/ontologies/2017/2/untitled-ontology-1075#absorbs owl:bottomObjectProperty ) Level: INFO Time: 1490807563382 Message: [Explanation] A total of 0 explanations have been computed