new test 513 -- it DOES not fail every time -- DAG implementation is not
detrministic
Issue 33 fix
extra changes for issue 33 fix
Merge branch 'develop' into bugfix/tree-witness
Merge branch 'develop' into bugfix/tree-witness
cosmetic changes
yet more cosmetic changes
remove dummy interfaces
configure org.codehaus.mojo:license-maven-plugin
add LICENSE.txt generated by license plugin
remove all the copyright headers
Minor Refactoring of DAGBuilder
add apache v2 header to all the java files
remove default inconsistency checking -> fail reasoner startup if
inconsistent. provide isQuestInconsistent for user-call checking
agpl -> apachev2
Merge branch 'feature/license-apache2' into develop
introduce inconsistency check as menu option in protege
Merge branch 'develop' of https://github.com/ontop/ontop into develop
change header of new file
update message upon consistency checking in protege