@@ -35,7 +35,7 @@ Select ```File->Open from URL... ``` ,enter the URL http://protege.stanford.edu/
### Step 2: Select a reasoner
The process of formulating queries and finding the faulty axioms the Ontology Debugger requires the usage of a reasoner.
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. *The Ontology Debugger requires a reasoner. For our tutorial we choose HermiT.*
You have to select a reasoner such as HermiT, Pellet, FaCT++ or ELK to be able to start a debugging session. For our tutorial let us choose the already installed *Hermit Reasoner* in the ```Reasoner``` menu. *The Ontology Debugger requires a reasoner. For our tutorial we choose HermiT.*
