... | @@ -35,7 +35,7 @@ Select ```File->Open from URL... ``` ,enter the URL http://protege.stanford.edu/ |
... | @@ -35,7 +35,7 @@ Select ```File->Open from URL... ``` ,enter the URL http://protege.stanford.edu/ |
|
|
|
|
|
### Step 2: Select a reasoner
|
|
### Step 2: Select a reasoner
|
|
The process of formulating queries and finding the faulty axioms the Ontology Debugger requires the usage of a reasoner.
|
|
The process of formulating queries and finding the faulty axioms the Ontology Debugger requires the usage of a reasoner.
|
|
For our example we must therefore also select a reasoner such as HermiT, Pellet or Fact++. For our tutorial let us choose the already installed *Hermit Reasoner* in the ```Reasoner``` menu. ![reasoner](/uploads/654ee6fdd1959cc9f947945776142d1b/reasoner.PNG)*The Ontology Debugger requires a reasoner. For our tutorial we choose HermiT.*
|
|
You have to select a reasoner such as HermiT, Pellet or Fact++ prior starting a debugging session. For our tutorial let us choose the already installed *Hermit Reasoner* in the ```Reasoner``` menu. ![reasoner](/uploads/654ee6fdd1959cc9f947945776142d1b/reasoner.PNG)*The Ontology Debugger requires a reasoner. For our tutorial we choose HermiT.*
|
|
|
|
|
|
### Step 3: Open the Ontology Debugger Tab
|
|
### Step 3: Open the Ontology Debugger Tab
|
|
|
|
|
... | | ... | |