--- a/OPPL/src/InferenceGalaxy.java	Mon Aug 20 11:39:56 2012 +0200
+++ b/OPPL/src/InferenceGalaxy.java	Thu Sep 20 12:46:36 2012 +0200
@@ -11,7 +11,7 @@
 
 
 /**
- * @author Mikel Egaña Aranguren
+ * @author Mikel Ega��a Aranguren
  *
  */
 public class InferenceGalaxy {
@@ -25,7 +25,7 @@
 	public static void main(String[] args) throws OWLOntologyStorageException, OWLOntologyCreationException, IOException {
 		// Get the arguments from command-line
 		String OWLFilePath = args [0];
-		String reasoner_type = args [1]; // Pellet|FaCTPlusPlus|HermiT
+		String reasoner_type = args [1]; // Pellet|FaCTPlusPlus|HermiT|Elk
 		String axioms_to_inject = args [2]; // CLASS_ASSERTIONS,CLASS_HIERARCHY,DATA_PROPERTY_ASSERTIONS 
 				
 //		CLASS_ASSERTIONS Denotes the computation of the direct types of individuals for each individual in the signature of the imports closure of the root ontology.
@@ -54,6 +54,10 @@
 		else if (reasoner_type.equals("FaCTPlusPlus")){
 			galaxyowlapi.setReasonerFaCT();
 		}
+		// Elk
+		else if (reasoner_type.equals("Elk")){
+			galaxyowlapi.setReasonerElk();
+		}
 		// HermiT
 		else{
 			galaxyowlapi.setReasonerHermit();
@@ -70,6 +74,8 @@
 			injectAxiom (axioms_to_inject, galaxyowlapi);
 		}
 		
+		galaxyowlapi.disposeReasoner();
+		
 		// Merge imported ontologies if requested
 //		if(merge.equals("Merge")){
 //			galaxyowlapi.merge();