# HG changeset patch # User Mikel Egaña Aranguren # Date 1326360000 -3600 # Node ID 3f31c0eb753991c5760c9a6664bc63f26905cdcd # Parent 14bfd77f852016015b31a221327f4231845221f6 Interface improved diff -r 14bfd77f8520 -r 3f31c0eb7539 OPPL/README --- a/OPPL/README Tue Oct 18 10:30:16 2011 +0200 +++ b/OPPL/README Thu Jan 12 10:20:00 2012 +0100 @@ -10,7 +10,7 @@ INSTALLATION ============ -1.- Stop galaxy. +1.- Stop Galaxy. 2.- Copy oppl_galaxy_tool.jar, FaCT++-linux-v1.5.2/ FaCT++-OSX-v1.5.2/ and oppl_galaxy_tool_lib/ to /galaxy-dist/tool-data/shared/jars/ @@ -25,7 +25,7 @@ -6.- Start galaxy. +6.- Start Galaxy. @@ -43,13 +43,16 @@ Ontology Pre Processor Language >> Execute an OPPL file against an OWL file -An ontology produced by another galaxy tools can also be used. +An ontology produced by another galaxy tool can also be used. Test.oppl and test.owl can be used as examples. More OPPL-Galaxy examples can be obtained at http://miuras.inf.um.es/OPPL-Galaxy/, and general OPPL script that may be useful to use with OPPL-Galaxy can be obtained at http://oppl2.sourceforge.net/taggedexamples/. +A public instance of Galaxy with pre-installed OPPL-Galaxy can be used +at http://sele.inf.um.es:8080/. + FORESEEN FEATURES @@ -58,7 +61,11 @@ Choose which inferred axioms to add to the output ontology (Right now only subsumption between named classes is available). -OWLLink support. +Rendering definition (URI fragment, label, etc). + +XML catalog support for imported URIs. + +OWLLink and Racer support. diff -r 14bfd77f8520 -r 3f31c0eb7539 OPPL/oppl.xml --- a/OPPL/oppl.xml Tue Oct 18 10:30:16 2011 +0200 +++ b/OPPL/oppl.xml Thu Jan 12 10:20:00 2012 +0100 @@ -1,18 +1,24 @@ - + It executes an OPPL script against the input ontology and generates a new ontology with the changes described in the OPPL script - - + + + + + #if $import_opts.imports_select==False #java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_galaxy_tool.jar $input $OPPL $format $inferred NoImports $reasoner NoMerge > $output 2>/dev/null + #else #java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_galaxy_tool.jar $input $OPPL $format $inferred $import_opts.imports $reasoner $import_opts.merge_opts.merged > $output 2>/dev/null + #end if + @@ -26,9 +32,10 @@ + @@ -46,6 +53,7 @@ --> + @@ -58,26 +66,21 @@ - - - - - + - - + @@ -132,6 +135,8 @@ **More information** + http://miuras.inf.um.es/OPPL-Galaxy/ + http://oppl.sf.net/ http://owlapi.sourceforge.net/ @@ -143,6 +148,10 @@ http://hermit-reasoner.com/ http://code.google.com/p/factplusplus/ + +**Citation** + + Mikel Egaña Aranguren, Jesualdo Tomás Fernández-Breis and Erick Antezana. OPPL-Galaxy: Enhancing ontology exploitation in Galaxy with OPPL. SWAT4LS 2011 (To appear in ACM proceedings). **Contact**