comparison OPPL/Tool.java @ 7:756f1f5798bf

Added (Properly) reasoner option (Pellet or HermiT)
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sun, 18 Sep 2011 12:57:22 +0200
parents 3740505b579c
children 40adbcb2a7cc
comparison
equal deleted inserted replaced
6:3740505b579c 7:756f1f5798bf
123 input.close(); 123 input.close();
124 124
125 // Parse the OPPL script 125 // Parse the OPPL script
126 ParserFactory parserFactory = new ParserFactory(manager, OWL_ontology, reasoner); 126 ParserFactory parserFactory = new ParserFactory(manager, OWL_ontology, reasoner);
127 Logger logger = Logger.getLogger(Tool.class.getName()); 127 Logger logger = Logger.getLogger(Tool.class.getName());
128 Logging.getQueryLogger().setLevel(Level.OFF); // The normal messages are errors for galaxy (Fixed in Galaxy by 2 > /dev/null) 128 // Logging.getQueryLogger().setLevel(Level.OFF); // The normal messages are errors for galaxy (Fixed in Galaxy by 2 > /dev/null)
129 ErrorListener errorListener = (ErrorListener)new LoggerErrorListener(logger); 129 ErrorListener errorListener = (ErrorListener)new LoggerErrorListener(logger);
130 OPPLParser opplparser = parserFactory.build(errorListener); 130 OPPLParser opplparser = parserFactory.build(errorListener);
131 OPPLScript OPPLscript = opplparser.parse(OPPL_script_source); 131 OPPLScript OPPLscript = opplparser.parse(OPPL_script_source);
132 132
133 // Execute the script 133 // Execute the script