Changes

Page history
Konstantin.Schekotihin created page: onto debugger authored by Wolfgang Schmid's avatar Wolfgang Schmid
Show whitespace changes
Inline Side-by-side
onto-debugger.md
View page @ a46d9964
# 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.
......
......