webprotege_debugger issueshttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues2020-10-20T14:52:33Zhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/18View for Possibly Faulty and Correct Axioms2020-10-20T14:52:33ZWolfgang SchmidView for Possibly Faulty and Correct AxiomsThere is yet no view to see the set of logical axioms and if they are possibly faulty (by default all are) or assumed as correct.There is yet no view to see the set of logical axioms and if they are possibly faulty (by default all are) or assumed as correct.Wolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/5Waiting animated wheel for debugging processing2020-09-07T14:02:28ZbodaweWaiting animated wheel for debugging processingIf we have pressed a button and did not receive a response from the back-end (either through a result or an exception), the user should not be able to press any other buttons.
TODO: Animated wheel.
![image](/uploads/919a0ba2e63cd1510e...If we have pressed a button and did not receive a response from the back-end (either through a result or an exception), the user should not be able to press any other buttons.
TODO: Animated wheel.
![image](/uploads/919a0ba2e63cd1510e4edc43c778e184/image.png)bodawebodawehttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/20Wrong order of diagnosis2020-10-13T14:57:56ZWolfgang SchmidWrong order of diagnosisWolfgang SchmidWolfgang Schmid