Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
webprotege_debugger
Issues
#40
Precondition not fulfilled exception
Repairing should be allowed if there are multiple diagnoses
@Wolfgang.Schmid