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

WIP: Resolve "Add unique class assumption feature to detect unintended equivalencies"

!49 · created Nov 06, 2018 by Wolfgang Schmid 0.2.1
Feature request Layout Research Usability
updated Jan 18, 2019
Resolve "Add a feedback feature for error reports"

!48 · created Oct 22, 2018 by Wolfgang Schmid 0.1.9.RC
Feature request Layout Research Usability
- Merged
updated Oct 22, 2018
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
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 "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
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