Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
debugger
Merge requests
Open
1
Merged
42
Closed
14
All
57
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Merged date
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
0
updated
Jan 18, 2019
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
0
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
0
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
0
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
0
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
0
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
0
updated
Aug 07, 2018
Resolve "Redesign Layout for Original and Acquired Test Cases andTabbed View for Answer History"
!3
· created
Aug 12, 2016
by
Wolfgang Schmid
0.1.1.BETA
Merged
0
updated
Aug 12, 2016
Feature rio learning parameter
!2
· created
Aug 02, 2016
by
Wolfgang Schmid
Merged
0
updated
Aug 02, 2016
Resolve "Generate anonymous ontologies only when starting new debugging sessions"
!7
· created
Sep 02, 2016
by
Wolfgang Schmid
0.1.1.BETA
Merge Request
Merged
0
updated
Sep 02, 2016
- Implementation of #41
!6
· created
Aug 26, 2016
by
Wolfgang Schmid
0.1.1.BETA
Merge Request
Merged
0
updated
Aug 26, 2016
- dispose method to clean up things when stopping a debugging session, such as d…
!5
· created
Aug 25, 2016
by
Wolfgang Schmid
0.1.1.BETA
Merge Request
Merged
0
updated
Aug 25, 2016
Resolve "Redesign Lifecycle for Debugging Session"
!4
· created
Aug 18, 2016
by
Wolfgang Schmid
0.1.1.BETA
Merge Request
Merged
0
updated
Aug 18, 2016
Debugging session feature
!1
· created
Jun 28, 2016
by
Wolfgang Schmid
Merge Request
Merged
0
updated
Jun 28, 2016
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
0
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
0
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
Prev
1
2
3
Next