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

Resolve "Add positive test cases to ontology which are not entailed anymore after a repair"

!41 · created Sep 17, 2018 by Wolfgang Schmid 0.1.8.BETA
Feature request Research
- Merged
updated Oct 12, 2018
Test and codereview consistencychecker

!40 · created Sep 10, 2018 by Wolfgang Schmid 0.1.8.BETA
Merge Request
updated Sep 10, 2018
WIP: Resolve "Add additional information during the search for repairs/queries"

!39 · created Sep 05, 2018 by Wolfgang Schmid 0.1.8.BETA
Feature request Layout To Do Usability
- Closed
updated Sep 11, 2018
Resolve "Better message for inconsistent background along with test cases"

!38 · created Aug 31, 2018 by Wolfgang Schmid 0.1.8.BETA
Feature request Minor Bug
- Merged
updated Sep 05, 2018
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