Skip to content

Resolve "Add positive test cases to ontology which are not entailed anymore after a repair"

Wolfgang Schmid requested to merge 112-add-positive-test-cases-to-ontology-which-are-not-entailed-anymore-after-a-repair into master

Closes #112 (closed)

Edited by Wolfgang Schmid

Merge request reports