Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
debugger
Issues
#118
Add Move All Buttons to InputOntologyView
Add two buttons to move all (filtered) axioms between possibyly faulty and correct axioms