0.1.7.BETA (May 8, 2018)

  • New: Replace icon of reset button in repair interface (Issue #128)
  • New: Add an explanation text to repair interface (Issue #125)
  • New: Add help texts to test case editor (Issue #129)
  • New: Add Move All Buttons to InputOntologyView (Issue #118)
  • New: Added search filters for Axiomtype (Issue #119)
  • New: Show automatically generated anonymous individuals (Issue #123)
  • New: Change licence of module protege-plugin (Issue #105) and comply with Apache Licence Appendix for other modules (Issue #106)
  • New: Reduced log verbosity (Issue #111)
  • New: Adaptations in implementation of IQPartitionRequirementsMeasures (Issue #115)
  • New: Renamed Inv-QuickXPlain to Inv-HS-Tree (Issue #113)
  • New: Removed HS-DAG diagnosis engine (Issue #110)
  • Fix: Reset search filters when resetting selected tab to default state (Issue #127)
  • Fix: Remember scrollbar position (Issue #126)
  • Fix: Nullpointer Exception when switching reasoner from Mastro DL-Lite Reasoner (Issue #124)
  • Fix: Show inferred axioms in test cases after debugging session (Issue #122)
  • Fix: Retain axioms in background beyond changes in life cycle (Issue #109)
  • Fix: Incorrect disposal of reasoner fixed (Issue #108)
  • Fix: Different Semantics of setMaxNumberOfDiagnoses(0) for Inv-HS-Tree and HS-Tree fixed (Issue #120)
  • Fix: QPartitionOperations.findQPartition return fix (Issue #114)