diff OPPL/src/OPPLGalaxy.java @ 11:6ca67b155e32

Imports simplified, new tool for inference added
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Fri, 09 Mar 2012 16:15:27 +0100
parents
children 7e6604a5ee55
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/OPPL/src/OPPLGalaxy.java	Fri Mar 09 16:15:27 2012 +0100
@@ -0,0 +1,108 @@
+/**
+ * 
+ */
+package es.upm.fi.dia.oeg.oppl.galaxy;
+
+import java.io.File;
+import java.io.IOException;
+import java.util.List;
+import java.util.Scanner;
+import java.util.logging.Logger;
+
+import org.coode.oppl.ChangeExtractor;
+import org.coode.oppl.OPPLParser;
+import org.coode.oppl.OPPLScript;
+import org.coode.oppl.ParserFactory;
+import org.coode.oppl.exceptions.QuickFailRuntimeExceptionHandler;
+import org.coode.parsers.ErrorListener;
+import org.coode.parsers.LoggerErrorListener;
+import org.semanticweb.owlapi.model.OWLAxiomChange;
+import org.semanticweb.owlapi.model.OWLOntology;
+import org.semanticweb.owlapi.model.OWLOntologyCreationException;
+import org.semanticweb.owlapi.model.OWLOntologyManager;
+import org.semanticweb.owlapi.model.OWLOntologyStorageException;
+import org.semanticweb.owlapi.reasoner.OWLReasoner;
+
+
+/**
+ * @author Mikel EgaƱa Aranguren
+ *
+ */
+public class OPPLGalaxy {
+
+	/**
+	 * @param args
+	 * @throws OWLOntologyCreationException 
+	 * @throws OWLOntologyStorageException 
+	 * @throws IOException 
+	 */
+	public static void main(String[] args) throws OWLOntologyCreationException, OWLOntologyStorageException, IOException {
+		// Get the arguments from command-line
+		String OWLFilePath = args [0];
+		String reasoner_type = args [1]; // Pellet|FaCTPlusPlus|HermiT
+		
+		String OPPL_script_file = args [2];
+		String OWL = args [3]; // OWL|OBO
+		
+		// Create the manager
+		GalaxyOWLAPI galaxyowlapi = new GalaxyOWLAPI();
+				
+		// Load the main ontology and hope for the imported URIs to be resolvable		
+		galaxyowlapi.loadMainOntology(OWLFilePath);
+				
+		// Set the reasoner
+		
+		// Pellet
+		if(reasoner_type.equals("Pellet")){
+			galaxyowlapi.setReasonerPellet();
+		}
+		// FaCTPlusPlus
+		else if (reasoner_type.equals("FaCTPlusPlus")){
+			galaxyowlapi.setReasonerFaCT();
+		}
+		// HermiT
+		else{
+			galaxyowlapi.setReasonerHermit();
+		}
+		
+		// Load the OPPL flat file with script in memory
+		String OPPL_script_source = "";
+		File file = new File(OPPL_script_file);
+		Scanner input = new Scanner(file);
+		while(input.hasNext()) {
+		    String nextToken = input.next();
+		    OPPL_script_source = OPPL_script_source + " " + nextToken;
+		}
+		input.close();
+	
+		OWLOntologyManager manager = galaxyowlapi.getOWLManager();
+		OWLOntology ontology = galaxyowlapi.getMainOntology();
+		OWLReasoner reasoner = galaxyowlapi.getReasoner();
+		
+		// Parse the OPPL script
+		ParserFactory parserFactory = new ParserFactory(manager, ontology, reasoner); 
+		Logger logger = Logger.getLogger(Tool.class.getName());
+//		Logging.getQueryLogger().setLevel(Level.OFF); // The normal messages are errors for galaxy (Fixed in Galaxy by 2 > /dev/null)
+		ErrorListener errorListener = (ErrorListener)new LoggerErrorListener(logger);
+		OPPLParser opplparser = parserFactory.build(errorListener);
+		OPPLScript OPPLscript = opplparser.parse(OPPL_script_source);
+			
+		// Execute the script
+		ChangeExtractor extractor = new ChangeExtractor(new QuickFailRuntimeExceptionHandler(), true);
+		List<OWLAxiomChange> changes = extractor.visit(OPPLscript);
+		manager.applyChanges(changes);
+		
+		// Merge imported ontologies if requested
+//		if(merge.equals("Merge")){
+//			galaxyowlapi.merge();
+//		}
+		
+		// Save the ontology
+		if(OWL.equals("OWL")){
+			galaxyowlapi.saveOntology(true);
+		}
+		else{
+			galaxyowlapi.saveOntology(false);
+		}	
+	}
+}