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

WIP: Resolve "Keyword Probability Slider"

!56 · created Aug 06, 2019 by Wolfgang Schmid 0.2.2
Layout Usability
- Closed
updated Aug 06, 2019
Resolve "Implementation of MergeXPlain and Progression"

!55 · created May 03, 2019 by Wolfgang Schmid 0.2.1
Administration Testing
- Closed
updated May 03, 2019
Resolve "Storing testcases as ontology annotation is causing too many ontology change events"

!53 · created Jan 11, 2019 by Wolfgang Schmid 0.2.0.RC
Performance Usability
- Closed
updated Jan 18, 2019
Resolve "Storing testcases as ontology annotation is causing too many ontology change events"

!52 · created Dec 04, 2018 by Wolfgang Schmid 0.2.0.RC
Performance Usability
- Closed
- 1
updated Jan 11, 2019
WIP: Resolve "Storing testcases as ontology annotation is causing too many ontology change events"

!51 · created Dec 03, 2018 by Wolfgang Schmid 0.2.0.RC
Performance Usability
- Closed
updated Dec 04, 2018
WIP: Resolve "Implement toString() for all list items and list headers"

!47 · created Oct 22, 2018 by Wolfgang Schmid 0.1.9.RC
Feature request Usability
- Closed
updated Oct 22, 2018
WIP: Resolve "Redesign of Possible Ontology Repair Headers"

!44 · created Oct 15, 2018 by Wolfgang Schmid 0.1.9.RC
Layout
- Closed
updated Oct 15, 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 "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
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
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
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
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