Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
interactive-KB-debugging
debugger
Repository
Branches
Overview
Active
Stale
All
Active branches
Projekt_Patrick
58fcd01a
·
Fixed compilation and maven issues.
·
May 05, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
Evaluation_Fall2016
2aaf257c
·
This zip contains two files:
·
Jun 06, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Evaluation_Spring2017
6da2d674
·
added dummy.txt for existence of resources directory of evaluations
·
Nov 24, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Evaluation_Winter2017
da69947f
·
fully classified factories of all 4 reasoner factories (HermiT, Pellet, JFact and Elk)
·
Oct 04, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
147-add-unique-class-assumption-feature-to-detect-unintended-equivalencies
638a11e8
·
call reasoner.flush() only if necessary
·
Nov 19, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Project_Wen
8d562921
·
Fixed nullpointer
·
Jun 21, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar