webprotege_debugger issueshttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues2021-04-15T08:37:34Zhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/43Disable Buttons für MoveAllActions after DebuggingSession has been started2021-04-15T08:37:34ZWolfgang SchmidDisable Buttons für MoveAllActions after DebuggingSession has been startedAdditionally:
![image](/uploads/b830ce0df85aec9279accc68ba45a8f8/image.png)
When enabled, color the above buttons purple and make them grey when disabled like these buttons:
![image](/uploads/3cc190a35dd143c5784b796f6454d47f/image.png)Additionally:
![image](/uploads/b830ce0df85aec9279accc68ba45a8f8/image.png)
When enabled, color the above buttons purple and make them grey when disabled like these buttons:
![image](/uploads/3cc190a35dd143c5784b796f6454d47f/image.png)bodawebodawehttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/42Support of multiple ontologies2021-02-16T19:56:14ZWolfgang SchmidSupport of multiple ontologiesAn exception is thrown for owl files which result in multiple (imported) ontologies when calling `OWLOntologyManager.getOntologies()` (see size check in `DebuggingSession.loadOntology()`)
Example ontology causing such an exception is [h...An exception is thrown for owl files which result in multiple (imported) ontologies when calling `OWLOntologyManager.getOntologies()` (see size check in `DebuggingSession.loadOntology()`)
Example ontology causing such an exception is [http://www.obofoundry.org/ontology/foodon.html](http://www.obofoundry.org/ontology/foodon.html)Wolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/41Check Syntax of the modified axiom2021-01-18T16:31:38ZWolfgang SchmidCheck Syntax of the modified axiomWhen a repair axiom is modified and you click on OK, then currently the syntax of the old axiom is checked.
However **the syntax of the modified axiom must be checked**.When a repair axiom is modified and you click on OK, then currently the syntax of the old axiom is checked.
However **the syntax of the modified axiom must be checked**.bodawebodawehttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/40Precondition not fulfilled exception2021-01-18T10:13:16ZbodawePrecondition not fulfilled exceptionRepairing should be allowed if there are multiple diagnoses @Wolfgang.SchmidRepairing should be allowed if there are multiple diagnoses @Wolfgang.SchmidWolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/39Paging mechanism for display of axioms2021-02-16T19:58:00ZWolfgang SchmidPaging mechanism for display of axiomsFor very large ontologies currently there is problem with displaying all axioms.
We should introduce a paging mechanism instead where at most e.g. 100 axioms are shown at once.
It should be possible to navigate back and forth then.For very large ontologies currently there is problem with displaying all axioms.
We should introduce a paging mechanism instead where at most e.g. 100 axioms are shown at once.
It should be possible to navigate back and forth then.Wolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/38Sort Checkboxes for Background2021-01-24T23:52:24ZWolfgang SchmidSort Checkboxes for BackgroundA-Box: Assertions/Individuals
R-Box: Properties
T-Box: Classexpression/ClassesA-Box: Assertions/Individuals
R-Box: Properties
T-Box: Classexpression/ClassesWolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/37Add new repair action for the modification of an axiom of a diagnosis2021-01-14T12:34:14ZWolfgang SchmidAdd new repair action for the modification of an axiom of a diagnosisfrontend sends the safehtml representation of the axiom
backend identifies/lookup the axiom and identifies the OwlEntity.
This OwlEntity is sent back to the frontend.
The Frontend starts the OwlEntityDescriptionEditor which then is using...frontend sends the safehtml representation of the axiom
backend identifies/lookup the axiom and identifies the OwlEntity.
This OwlEntity is sent back to the frontend.
The Frontend starts the OwlEntityDescriptionEditor which then is using the already existing operations (apply, etc)Wolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/36Add new repair action for deletion of an axiom of a diagnosis2021-01-14T12:34:07ZWolfgang SchmidAdd new repair action for deletion of an axiom of a diagnosisaction contains the safehtml string representing the axiom
backend needs to lookup/identify this axiom in the diagnosis and delete this axiom in the ontology.action contains the safehtml string representing the axiom
backend needs to lookup/identify this axiom in the diagnosis and delete this axiom in the ontology.Wolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/35Don't allow MoveToActions during a running debugging session2020-11-17T18:02:53ZWolfgang SchmidDon't allow MoveToActions during a running debugging sessionIn the backend there is check for the MoveToAction and thus throws an exception if so.
That means during a running state do not show the move to buttons
![image](/uploads/8ea4a52b75d7319ea74f20bd342a9b55/image.png)In the backend there is check for the MoveToAction and thus throws an exception if so.
That means during a running state do not show the move to buttons
![image](/uploads/8ea4a52b75d7319ea74f20bd342a9b55/image.png)bodawebodawehttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/34Common layout for buttons2020-11-07T17:21:26ZWolfgang SchmidCommon layout for buttons![image](/uploads/439590b48380f806fc24434aa7cd4039/image.png)![image](/uploads/439590b48380f806fc24434aa7cd4039/image.png)bodawebodawehttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/33Rename Queries Portlet to Debugging Session2020-11-07T18:04:26ZWolfgang SchmidRename Queries Portlet to Debugging Session![image](/uploads/cb1c937aa29450c7516827b727c54667/image.png)![image](/uploads/cb1c937aa29450c7516827b727c54667/image.png)bodawebodawehttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/32Adapt header font for entailed, non-entailed, possibly faulty and background2020-11-07T18:11:05ZWolfgang SchmidAdapt header font for entailed, non-entailed, possibly faulty and background- use same font size as in Queries and Possible Ontology Repairs
- also fix typo to possibly faulty- use same font size as in Queries and Possible Ontology Repairs
- also fix typo to possibly faultybodawebodawehttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/31Create wiki page for Webprotege2020-11-05T14:18:04ZWolfgang SchmidCreate wiki page for WebprotegeAdd wiki pages for #30Add wiki pages for #30Wolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/30Add help icon for each perspective2020-11-07T20:39:26ZWolfgang SchmidAdd help icon for each perspectiveClicking on the help opens a new browser tab to our wiki pages:
- Queries: https://git-ainf.aau.at/interactive-KB-debugging/debugger/-/wikis/queries
- Repairs: https://git-ainf.aau.at/interactive-KB-debugging/debugger/-/wikis/faulty-axi...Clicking on the help opens a new browser tab to our wiki pages:
- Queries: https://git-ainf.aau.at/interactive-KB-debugging/debugger/-/wikis/queries
- Repairs: https://git-ainf.aau.at/interactive-KB-debugging/debugger/-/wikis/faulty-axioms
- Test Cases: https://git-ainf.aau.at/interactive-KB-debugging/debugger/-/wikis/acquired-test-cases
- Background: https://git-ainf.aau.at/interactive-KB-debugging/debugger/-/wikis/input-ontologybodawebodawehttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/29Docker Image2020-12-16T17:04:40ZKonstantin SchekotihinDocker ImageExtend the continuous integration system of our GitLab to generate Docker images of nightly builds as described in https://docs.gitlab.com/ee/ci/docker/using_docker_build.htmlExtend the continuous integration system of our GitLab to generate Docker images of nightly builds as described in https://docs.gitlab.com/ee/ci/docker/using_docker_build.htmlWolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/28Generated URIs2020-11-05T14:50:25ZKonstantin SchekotihinGenerated URIsWhenever a new concept or role is created in WebProtege, it generates a custom URI that is not from the base namespace of the ontology. This behaviour is incorrect.
For instance, if a user modifies the Koala ontology, URIs of new conce...Whenever a new concept or role is created in WebProtege, it generates a custom URI that is not from the base namespace of the ontology. This behaviour is incorrect.
For instance, if a user modifies the Koala ontology, URIs of new concepts are all created in the base namespace.
**<Prefix name="" IRI="http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#"/>**
<Prefix name="owl" IRI="http://www.w3.org/2002/07/owl#"/>
<Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
<Prefix name="xml" IRI="http://www.w3.org/XML/1998/namespace"/>
<Prefix name="xsd" IRI="http://www.w3.org/2001/XMLSchema#"/>
<Prefix name="rdfs" IRI="http://www.w3.org/2000/01/rdf-schema#"/>
<Declaration>
**<Class IRI="#Animal"/>**
</Declaration>Wolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/27Implement an add testcases feature2021-01-12T13:33:34ZWolfgang SchmidImplement an add testcases featureLike in our Protege plugin, the user should be able to manually add a testcase (both positive and negative).
This requires a sophisticated editor to create axiom.
@Konstantin.Schekotihin @Patrick.Rodler: Shall we allow the user to add ...Like in our Protege plugin, the user should be able to manually add a testcase (both positive and negative).
This requires a sophisticated editor to create axiom.
@Konstantin.Schekotihin @Patrick.Rodler: Shall we allow the user to add a test case manually in a running debugging session? In our Protege plugin this is not possible.Wolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/26Add new check button and debug button instead of start button2020-12-16T17:06:28ZWolfgang SchmidAdd new check button and debug button instead of start button**Vor Check**:
- man sieht KEINE Axiome.
- **Keine Manipulation** of DPI (possibly faulty <-> correct),
**Bei Check**:
- Evaluate DPI,
- Checking for consistency.
- Checking for coherency.
- Module extraction.
- **Kein** Reduce to i...**Vor Check**:
- man sieht KEINE Axiome.
- **Keine Manipulation** of DPI (possibly faulty <-> correct),
**Bei Check**:
- Evaluate DPI,
- Checking for consistency.
- Checking for coherency.
- Module extraction.
- **Kein** Reduce to inconsistency (dieses erfolgt im Debugschritt).
Wenn Inkonsistent oder Inkohärent Dann:
**Nach Check**:
- Man sieht Axiome vom Modul (alle Axiome werden als possibly faulty angezeigt - da keine reduction to inconsistency gemacht wurde, sind auch keine anonymen Axiome in den korrekten Axiomen angezeigt)
- Benachrichtigung für den User mittels Popup-Window dass der **Benutzer die DPI durch Verschieben zwischen possibly faulty und correct axioms manipulieren kann bevor er die Debugging session startet**
- Aktivierung des Debug-Buttons.
- Prüfe, nach jeder Benutzeraktion (= Verschiebung von possibly faulty zu correct, Erzeugung von Testcases #27 ) ob DPI noch gültig ist (Inkonsistenzen können entstehen!)
**Click auf Debug**:
- Starten einer Debugging Session
- hier wird reduce to inconsistency aktiviertWolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/25After remove test case axiom, the Repair diagnoses and queries should also be...2020-10-21T14:40:05ZbodaweAfter remove test case axiom, the Repair diagnoses and queries should also be changed at same timeWolfgang SchmidWolfgang Schmidhttps://git-ainf.aau.at/interactive-KB-debugging/webprotege_debugger/-/issues/24After executing the MoveTo action multiple times, Debugger session will be st...2021-01-25T18:00:26ZbodaweAfter executing the MoveTo action multiple times, Debugger session will be stopped automaticallyWolfgang SchmidWolfgang Schmid