diff OPPL/src/OPPLQueryGalaxy.java @ 18:d3616fac4ca5 draft

Elk support added

--- a/OPPL/src/OPPLQueryGalaxy.java	Mon Aug 20 11:39:56 2012 +0200
+++ b/OPPL/src/OPPLQueryGalaxy.java	Thu Sep 20 12:46:36 2012 +0200
@@ -42,7 +42,7 @@
 	public static void main(String[] args) throws OWLOntologyCreationException, ParserException, FileNotFoundException {
 		// Get the arguments from command-line
 		String OWLFilePath = args [0]; // /home/mikel/UPM/OPPL_galaxy/OPPL/OPPL/test-data/ontology/single/test.owl
-		String reasoner_type = args [1]; // Pellet|FaCTPlusPlus|HermiT
+		String reasoner_type = args [1]; // Pellet|FaCTPlusPlus|HermiT|Elk
 		String Answer_render = args [2]; // URI|URIfragment|URIfragment2OBO
 		String OPPL_script_source = args [3];
 		
@@ -75,6 +75,10 @@
 		else if (reasoner_type.equals("FaCTPlusPlus")){
 			galaxyowlapi.setReasonerFaCT();
 		}
+		// Elk
+		else if (reasoner_type.equals("Elk")){
+			galaxyowlapi.setReasonerElk();
+		}
 		// HermiT
 		else{
 			galaxyowlapi.setReasonerHermit();
@@ -93,6 +97,8 @@
 		extractor.visit(OPPLscript);
 		ConstraintSystem cs = OPPLscript.getConstraintSystem();
 		Set<BindingNode> nodes =  cs.getLeaves();
+		
+		galaxyowlapi.disposeReasoner();
 				
 		Iterator NodesIterator = nodes.iterator();
 		while(NodesIterator.hasNext()){