INSTALLATION
============

1.- Stop Galaxy.

2.- Copy the following files and dirs to
/galaxy-dist/tool-data/shared/jars/:

oppl_galaxy_tool.jar
oppl_galax_lib/
FaCT++-linux-v1.5.2/ 
FaCT++-OSX-v1.5.2/
inference.jar
inference_lib/ 

3.- Create directory /galaxy-dist/tools/OPPL/

4.- Copy oppl.xml and inference.xml to /galaxy-dist/tools/OPPL/

5.- Add the following lines to /galaxy-dist/tool_conf.xml:

  <section name="Ontology Pre Processor Language" id="oppl">
    <tool file="OPPL/oppl.xml"/>
    <tool file="OPPL/inference.xml"/>
  </section>

6.- Start Galaxy.



FORESEEN FEATURES
=================

OPPL:

- Support for processing ontologies that import other ontologies loaded
in galaxy.

- Rendering definition (URI fragment, label, etc).

- Standalone OPPL assertions parsing (e.g. ADD phagocyte subClassOf
cell).

- OWLLink and Racer support.


Inference:

- DataPropertyAssertion, DataPropertyHierarchy, DifferentIndividuals,
...




KNOWN BUGS AND ISSUES
=====================

Currently Galaxy interprets any information thrown to stderr as a tool
error, which is bad since OPPL (And many other tools) throw info to 
sdterr even if working properly. In OPPL Galaxy, stderr is redirected
to /dev/null to avoid the problem, but that means that OPPL Galaxy does
not fail gracefully (It simply stops). A wrapper will be implemented.

http://wiki.g2.bx.psu.edu/Future/Job%20Failure%20When%20stderr



CONTACT
=======

Please send any request or comment to mikel.egana.aranguren@gmail.com.



ACKNOWLEDGEMENTS
================

This work is funded by the Marie Curie Cofund program of the EU, FP7.



COPYRIGHT AND LICENSE
=====================

Copyright (c) 2011 Mikel Egaña Aranguren. 

(OPPL|Inference)-Galaxy is free software: you can redistribute it and/or
modify it under the terms of the GNU General Public License as published
by the Free Software Foundation, either version 3 of the License, or (at
your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.

OPPL API, OWL API, Pellet, HermiT, and FaCT++ have their own licenses.