view OPPL/README @ 6:3740505b579c

Added reasoner option: Pellet or HermiT
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sun, 18 Sep 2011 12:35:18 +0200
parents 68935f90c2db
children 40adbcb2a7cc
line wrap: on
line source




			===========
			OPPL-GALAXY
			===========



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

1.- Stop galaxy.

2.- Copy oppl_galaxy_tool.jar and oppl_galaxy_tool_lib/ to 
/galaxy-dist/tool-data/shared/jars/.

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

4.- Copy oppl.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"/>
  </section>

6.- Start galaxy.



USAGE
=====

An ontology and an OPPL file are needed (test.owl and test.oppl can be 
used as samples). Load both:

Get Data 
	>> Upload File from your computer 

Then execute the OPPL file against the OWL file: 

Ontology Pre Processor Language
	>> Execute an OPPL file against an OWL file 



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

Choose which inferred axioms to add to the output ontology (Right now 
only subsumption is available).

FaCT++ and OWLLink support.



TESTS
=====

To run the functional test, first complete installation and then:

1.- Copy test.owl and test.oppl to /galaxy-dist/test-data/

2.- Add the following lines to /galaxy-dist/tool_conf.xml.sample

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

3.- Execute /galaxy-dist/run_functional_tests.sh -id oppl



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-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, OWL API and Pellet have their own licenses.

Galaxy is distributed as open source under the conditions of the 
Academic Free License (http://www.opensource.org/licenses/academic.php).