--- a/OPPL/inference.xml	Mon Aug 20 11:39:56 2012 +0200
+++ b/OPPL/inference.xml	Thu Sep 20 12:46:36 2012 +0200
@@ -13,6 +13,7 @@
 			<option value="Pellet" selected="true">Pellet</option>
 			<option value="HermiT">HermiT</option>
 			<option value="FaCTPlusPlus">FaCT++</option>
+			<option value="Elk">Elk (Not all axioms supported)</option>
 		</param>
 		<param name="axioms" type="select" display="checkboxes" multiple="true" label="Select what axioms to add as asserted">
 		  <option value="CLASS_ASSERTIONS">CLASS_ASSERTIONS</option>
@@ -37,40 +38,16 @@
 
 **About Inference-Galaxy**
 
-  Inference galaxy offers the possibility of performing automated reasoning in an ontology and then injecting the inferred axioms as asserted axioms, generating a new OWL ontology.
-
-**Formats**
-
-  Inference-Galaxy uses the OWL API, and therefore it can load any ontology format that such API is able to load: OBO flat file, OWL (RDF/XML, OWL/XML, Functional, Manchester), turtle, and KRSS. The output is OWL (RDF/XML).
+  Inference-Galaxy offers the possibility of performing automated reasoning in an ontology and then injecting the inferred axioms as asserted axioms, generating a new OWL ontology.
 
 **Usage**
  
-  An ontology is needed as input: load it with Get Data >> Upload File from your computer or redirect the output of another galaxy tool. In case the ontology includes imports, they should be resolvable.
-  
-  The reasoner can be Pellet, HermiT or FaCT++.  
-  
-  The inferred axioms to add as asserted axioms can be chosen. 
-
-**More information**
-  
-  Galaxy public instances with Inference-Galaxy pre-installed:
-  
-  http://sele.inf.um.es:8080/
+  An ontology is needed as input: load it with Get Data >> Upload File from your computer or redirect the output of another galaxy tool. Inference-Galaxy uses the OWL API, and therefore it can load any ontology format that such API is able to load: OBO flat file, OWL (RDF/XML, OWL/XML, Functional, Manchester), turtle, and KRSS. In case the loaded ontology includes OWL imports, Inference-Galaxy will try to resolve them.
   
-  http://linkeddata2.dia.fi.upm.es:8080
-  
-  Links of interest:
-
-  http://owlapi.sourceforge.net/
-
-  http://www.w3.org/TR/owl2-manchester-syntax/
-
-  http://clarkparsia.com/pellet
-
-  http://hermit-reasoner.com/
-  
-  http://code.google.com/p/factplusplus/
-
+  The reasoner can be Pellet, HermiT, FaCT++ or Elk.  
+   
+  The inferred axioms to add as asserted axioms can be chosen.
+   
 **Contact**
 
   Please send any request or comment to mikel.egana.aranguren@gmail.com.