Issues

• Would be nice to be able to export/copy justifications

  enhancement
  protegeproject/explanation-workbench#22 · Filter by author csnyulas opened on Mar 28, 2019

• Justification for top and bottom class starts an infinite cycle

  enhancement
  protegeproject/explanation-workbench#21 · Filter by author csnyulas opened on Mar 28, 2019

• Tooltip showing inferred/asserted is not working properly

  protegeproject/explanation-workbench#20 · Filter by author csnyulas opened on Mar 27, 2019

• Justification for asserted axiom is empty

  protegeproject/explanation-workbench#19 · Filter by author csnyulas opened on Mar 27, 2019
  1

• Explanation for equivalence from reciprocal subclasses doesn't load with ELK

  protegeproject/explanation-workbench#14 · Filter by author balhoff opened on Sep 14, 2017
  1

• Character missing from selection upon clicking on 'Explanation for...' row in explanation list

  protegeproject/explanation-workbench#18 · Filter by author rsgoncalves opened on Apr 26, 2017
  4

• Justifications for unsatisfiable properties are not shown

  protegeproject/explanation-workbench#16 · Filter by author rsgoncalves opened on Mar 29, 2017