Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
webprotege_debugger
Issues
#25
After remove test case axiom, the Repair diagnoses and queries should also be changed at same time