Mercurial > repos > mikel-egana-aranguren > oppl
diff OPPL/src/OPPLQueryGalaxy.java @ 18:d3616fac4ca5 draft
Elk support added
author | Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Thu, 20 Sep 2012 12:46:36 +0200 |
parents | 6c25e717c896 |
children |
line wrap: on
line diff
--- 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()){