|
# Ontology Debugger Plug-In for Protégé
|
|
# Ontology Debugger Plug-In for Protégé
|
|
|
|
|
|
# IMPORTANT NOTE:
|
|
# IMPORTANT NOTE:
|
|
This plug-in is still in development! Very probably you may experience faulty and unexpected behaviour such as deadlocks, exceptions etc. You may report any bugs you experience in our [feedback](http://isbi.aau.at/ontodebug/feedback). We will try to fix them as soon as possible. Thank you!
|
|
|
|
|
|
**This plug-in is still in development!**
|
|
|
|
|
|
|
|
* Very probably you may experience faulty and unexpected behaviour such as deadlocks, exceptions etc. You may report any bugs you experience in our [feedback](http://isbi.aau.at/ontodebug/feedback). We will try to fix them as soon as possible.
|
|
|
|
* There are still many features missing that we plan to implement ([see the list of open issues](https://git-ainf.aau.at/interactive-KB-debugging/debugger/issues)). If you have ideas for features that would be nice to have we would be pleased if you [send us your request](http://isbi.aau.at/ontodebug/feedback).
|
|
|
|
|
|
# Installation
|
|
# Installation
|
|
|
|
|
... | @@ -93,9 +97,10 @@ Below the set of Acquired Test Cases the **Original Test Cases** are shown that |
... | @@ -93,9 +97,10 @@ Below the set of Acquired Test Cases the **Original Test Cases** are shown that |
|
Finally, the leftmost part shows us the most important information during a debugging session.
|
|
Finally, the leftmost part shows us the most important information during a debugging session.
|
|
|
|
|
|
In the **Queries** view we have 3 buttons that control the debugging session:
|
|
In the **Queries** view we have 3 buttons that control the debugging session:
|
|
- Once an ontology is loaded we have to **Start** a new debugging session to start the interaction with the user. Once a debugging session has been started, the start-button changes to **Restart**. This enables the user to start again the debugging session. ![start](/uploads/b93fbef049714ac66a819709aa3015e8/start.PNG) ![restart](/uploads/6d9ee6c92befc0981fe52c24e583928c/restart.PNG)
|
|
- Once an ontology is loaded we have to **Start** a new debugging session to start the interaction with the user. Once a debugging session has been started, the start-button changes to **Restart**. This enables the user to start the debugging session again. ![start](/uploads/b93fbef049714ac66a819709aa3015e8/start.PNG) ![restart](/uploads/6d9ee6c92befc0981fe52c24e583928c/restart.PNG)
|
|
- The **Stop**-button stops a running debugging session. As long there is no running session this button is disabled (greyed out) ![stop](/uploads/9a5f30421341fa4ff1a2f94437f6d52d/stop.PNG)
|
|
- The **Stop**-button stops a running debugging session. As long as there is no running session this button is disabled (greyed out) ![stop](/uploads/9a5f30421341fa4ff1a2f94437f6d52d/stop.PNG)
|
|
- The **Submit**-button is used to **answer a query**. This button is greyed out as long as a session has not been started or - once started - as long as the user has not yet classified any axiom in the query as entailed or non-entailed. ![submit](/uploads/06b7a61d7a3d6f8fac58bc4ba7a31730/submit.PNG)
|
|
- The **Submit**-button is used to **answer a query**. This button is greyed out as long as a session has not been started or - once started - as long as the user has not yet classified any axiom in the query as entailed or non-entailed. ![submit](/uploads/06b7a61d7a3d6f8fac58bc4ba7a31730/submit.PNG)
|
|
|
|
- **Note**: when you restart or stop a debugging session then all given answers are lost! For a future version of the debugger it is planned to let the user save the dialog in order to continue later.
|
|
|
|
|
|
### Step 5: Starting a new Debugging Session
|
|
### Step 5: Starting a new Debugging Session
|
|
|
|
|
... | | ... | |