protegeproject explanation-workbench issues

protegeproject / explanation-workbench

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

3 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Would be nice to be able to export/copy justifications

#22 csnyulas opened 5 years ago
0
Justification for top and bottom class starts an infinite cycle

#21 csnyulas opened 5 years ago
0
Tooltip showing inferred/asserted is not working properly

#20 csnyulas opened 5 years ago
0
Justification for asserted axiom is empty

#19 csnyulas opened 5 years ago
1
ExplanationProgressPanel doesn't start with number found set to zero

#13 balhoff closed 5 years ago
0
Explanation for equivalence from reciprocal subclasses doesn't load with ELK

#14 balhoff opened 7 years ago
1
Explanations for stated axioms exclude this axiom

#12 ykazakov closed 5 years ago
0
Wrong explanations for tautologies

#11 ykazakov closed 5 years ago
0
SubClassOf axiom rendering in justification list is missing ":"

#10 rsgoncalves closed 5 years ago
4
Character missing from selection upon clicking on 'Explanation for...' row in explanation list

#18 rsgoncalves opened 7 years ago
4
Computing justifications for A implies owl:Nothing and A implies owl:Thing should terminate gracefully

#15 rsgoncalves closed 5 years ago
3
Justifications for unsatisfiable properties are not shown

#16 rsgoncalves opened 7 years ago
0
Generate better explanation for the "owl:Nothing is subclass of any class expression" inference

#17 csnyulas closed 5 years ago
1
Fix disposing of the JustificationWorkbench: Issue #8

#9 ykazakov closed 8 years ago
0
Listener is not properly removed

#8 matthewhorridge closed 5 years ago
3
Progress Dialog is not parented to the Workspace Frame

#7 matthewhorridge closed 9 years ago
1
Change artifactId to explanation-workbench

#6 matthewhorridge closed 9 years ago
0
Update to OWL API 3.5.3

#5 matthewhorridge closed 9 years ago
0
Update to OWLAPI 4.0.2

#4 ignazio1977 opened 9 years ago
0
Update explanation library to the official version

#3 matthewhorridge closed 9 years ago
0
Updated to Protege 5.0.0

#2 matthewhorridge closed 9 years ago
0
Update OWLAPI version to 3.5.1

#1 matthewhorridge closed 9 years ago
0