|
|
# Protégé Debugger plug-in
|
|
|
# Protégé Debugger Plug-In
|
|
|
|
|
|
This page describes the
|
|
|
[Protégé plug-in](/uploads/14b0041bfa33146eb10283d795b745de/org.exquisite.protege-1.0-SNAPSHOT.jar)
|
|
|
[Protégé Debugger Plug-In](/uploads/14b0041bfa33146eb10283d795b745de/org.exquisite.protege-1.0-SNAPSHOT.jar)
|
|
|
|
|
|
**NOTE: THIS PLUG-IN IS STILL IN DEVELOPMENT, VERY PROBABLY YOU WILL EXPERIENCE FAULTY AND UNEXPECTED BEHAVIOUR SUCH AS DEADLOCKS**
|
|
|
|
|
|
# Installation
|
|
|
#### Prerequisites
|
|
|
These requirements are necessary in order to run the plugin:
|
|
|
* The most recent Protege Desktop Version. Please download it from [http://protege.stanford.edu/](http://protege.stanford.edu/) and follow the installation instructions. Please not that is recommended to use version 5. The Protégé Debugger Plug-In is not compatible with version 4.
|
|
|
* The most recent Protégé Desktop Version. Please download it from [http://protege.stanford.edu/](http://protege.stanford.edu/) and follow the installation instructions. Please not that is recommended to use version 5. The Protégé Debugger Plug-In is not compatible with version 4.
|
|
|
* The [Protégé Debugger Plug-In](/uploads/14b0041bfa33146eb10283d795b745de/org.exquisite.protege-1.0-SNAPSHOT.jar)
|
|
|
|
|
|
#### Some other plugins are necessary
|
|
|
Our plugin requires at least one reasoner. Protege 5 comes already with HermiT, but you can also install other reasoners like FaCT++ or Pellet. Installing plugins in Protégé is done by selecting *File->Check for plugins...*. After installing additional reasoner plugins you will have to restart Protégé.
|
|
|
|
|
|
#### Install the Protégé Plugin
|
|
|
Copy the protege [Protégé plug-in](/uploads/14b0041bfa33146eb10283d795b745de/org.exquisite.protege-1.0-SNAPSHOT.jar) into the plugins subfolder of your Protégé 5 desktop client. If your Protégé client is running, please restart it to load the Plug-In. You should see now a new tab called Exquisite Debugger!
|
|
|
Copy the [Protégé plug-in](/uploads/14b0041bfa33146eb10283d795b745de/org.exquisite.protege-1.0-SNAPSHOT.jar) into the plugins subfolder of your Protégé 5 desktop client. If your Protégé client is running, please restart it to load the Plug-In. You should see now a new tab called Exquisite Debugger!
|
|
|
|
|
|
![ExquisiteDebuggerTab](/uploads/a25cb9d39e0523e0b9ddfdd83928e50e/ExquisiteDebuggerTab.PNG)
|
|
|
|
|
|
# How to use the Plug-In
|
|
|
# How to use the Protégé Debugger Plug-In
|
|
|
Let us load an ontology (*File->Open File*)!
|
|
|
|
|
|
For this document we are using [our example ontology](/uploads/f100242ac5e8c655833a21e3ec9143e6/running_example_annotated.owl) with explicit declaration of axioms (the _diagnoses model_) that are possibly faulty (we name them the _knowledge base_), axioms which are correct (or the _background knowledge_) as well as entailed and not entailed axioms, which must or must not be concluded from the diagnoses model. You will see this explicit declaration in our Ontolgy Debug Tab.
|
... | ... | |