Merge requests · interactive-KB-debugging / debugger · GitLab

Resolve "Consider non-entailed positive test cases for test driven ontology debugging"

!37 · created Aug 07, 2018 by Wolfgang Schmid 0.1.8.BETA
Administration
- Closed
updated Aug 07, 2018
WIP: Resolve "Consider non-entailed positive test cases for test driven ontology debugging"

!36 · created Aug 07, 2018 by Wolfgang Schmid 0.1.8.BETA
Feature request Research To Do
- Closed
updated Aug 07, 2018
Resolve "Consider non-entailed positive test cases for test driven ontology debugging"

!35 · created Aug 04, 2018 by Wolfgang Schmid 0.1.8.BETA
Feature request Research To Do
- Closed
updated Aug 07, 2018
Resolve "Module extraction does not take into account manually added negative test cases"

!34 · created Jul 30, 2018 by Wolfgang Schmid 0.1.8.BETA
Major Bug
- Merged
updated Aug 03, 2018
Resolve "Remove success notification after storing testcases"

!33 · created Jul 30, 2018 by Wolfgang Schmid 0.1.8.BETA
Usability
- Merged
updated Jul 30, 2018
Resolve "Asynchronous entailment checks for saved testcases"

!32 · created May 28, 2018 by Wolfgang Schmid 0.1.8.BETA
Feature request Layout Research Usability
- Merged
updated Jul 30, 2018
Resolve "Add an explanation text to the repair interface"

!31 · created Apr 30, 2018 by Wolfgang Schmid 0.1.7.BETA
Feature request Layout Usability
- Merged
- 1
updated May 04, 2018
Resolve "Add help text to test case editor"

!30 · created Apr 27, 2018 by Wolfgang Schmid 0.1.7.BETA
Documentation Layout Usability
- Merged
- 1
updated Apr 30, 2018
Resolve "Add Searchfilter for Axiomtype"

!29 · created Apr 23, 2018 by Wolfgang Schmid 0.1.7.BETA
Feature request Layout Usability
- Merged
- 2
updated Apr 27, 2018
Resolve "Retain axioms in background knowledge beyond the debugging session life cycle"

!28 · created Apr 05, 2018 by Wolfgang Schmid 0.1.7.BETA
Feature request Usability
- Merged
updated Apr 19, 2018
Resolve "Incorrect disposal of reasoner in debugging session life cycle"

!27 · created Apr 03, 2018 by Wolfgang Schmid 0.1.7.BETA
Feature request Major Bug
- Merged
updated Apr 05, 2018
Resolve "Change the license from Apache 2.0 to GNU LGPL Version 3.0 for the module protege-plugin"

!26 · created Mar 23, 2018 by Wolfgang Schmid 0.1.7.BETA
To Do
- Merged
updated Apr 03, 2018
Resolve "Comply with the Apache License Appendix in the modules diagnosis, owl-plugin and excel-plugin"

!25 · created Mar 23, 2018 by Wolfgang Schmid 0.1.7.BETA
To Do
- Merged
updated Mar 23, 2018
Resolve "Return result of consistency and coherency check to avoid diagnosis calculation"

!24 · created Feb 15, 2018 by Wolfgang Schmid 0.1.7.BETA
Performance
- Merged
updated Feb 26, 2018
WIP: Resolve "Return result of consistency and coherency check to avoid diagnosis calculation"

!23 · created Feb 15, 2018 by Wolfgang Schmid 0.1.7.BETA
Performance
- Closed
updated Feb 15, 2018
Resolve "Enable the creation and storage of original test cases"

!22 · created Dec 20, 2017 by Wolfgang Schmid 0.1.6.BETA
Feature request
- Merged
updated Feb 13, 2018
Resolve "Add Testcase Axioms (Positive,Negative)"

!21 · created Dec 15, 2017 by Wolfgang Schmid 0.1.5.BETA
Merge Request
updated Dec 15, 2017
WIP: Resolve "Check if declaration axioms in the debugging ontology are a requirement for the reasoner"

!20 · created Dec 15, 2017 by Wolfgang Schmid 0.1.5.BETA
Research
- Closed
updated Feb 13, 2018
Resolve "Add Testcase Axioms (Positive,Negative)"

!19 · created Dec 13, 2017 by Wolfgang Schmid 0.1.5.BETA
Feature request
- Closed
- 1
updated Dec 15, 2017
Resolve "Repair feature implementation"

!18 · created Nov 24, 2017 by Wolfgang Schmid 0.1.5.BETA
Merge Request
updated Nov 24, 2017

Prev
1
2
3
Next