annotate OPPL/README @ 8:40adbcb2a7cc

Added merge function and FaCT++ support. Improved OBO render
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Tue, 11 Oct 2011 11:09:52 +0200
parents 3740505b579c
children 14bfd77f8520
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
1
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
2
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
3
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
4 ===========
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
5 OPPL-GALAXY
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
6 ===========
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
7
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
8
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
9
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
10 INSTALLATION
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
11 ============
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
12
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
13 1.- Stop galaxy.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
14
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
15 2.- Copy oppl_galaxy_tool.jar, FaCT++-linux-v1.5.2/ FaCT++-OSX-v1.5.2/
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
16 and oppl_galaxy_tool_lib/ to /galaxy-dist/tool-data/shared/jars/.
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
17
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
18 3.- Create directory /galaxy-dist/tools/OPPL/.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
19
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
20 4.- Copy oppl.xml to /galaxy-dist/tools/OPPL/.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
21
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
22 5.- Add the following lines to /galaxy-dist/tool_conf.xml:
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
23
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
24 <section name="Ontology Pre Processor Language" id="oppl">
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
25 <tool file="OPPL/oppl.xml"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
26 </section>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
27
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
28 6.- Start galaxy.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
29
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
30
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
31
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
32 USAGE
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
33 =====
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
34
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
35 An ontology and an OPPL file are needed (test.owl and test.oppl can be
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
36 used as samples). Load both:
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
37
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
38 Get Data
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
39 >> Upload File from your computer
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
40
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
41 Then execute the OPPL file against the OWL file:
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
42
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
43 Ontology Pre Processor Language
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
44 >> Execute an OPPL file against an OWL file
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
45
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
46 An ontology produced by another galaxy tools can also be used
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
47
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
48
5
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
49
4
4f60202c58d9 Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 3
diff changeset
50 FORESEEN FEATURES
4f60202c58d9 Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 3
diff changeset
51 =================
4f60202c58d9 Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 3
diff changeset
52
4f60202c58d9 Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 3
diff changeset
53 Choose which inferred axioms to add to the output ontology (Right now
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
54 only subsumption between named classes is available).
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
55
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
56 OWLLink support.
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
57
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
58
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
59
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
60 KNOWN BUGS AND ISSUES
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
61 =====================
4
4f60202c58d9 Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 3
diff changeset
62
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
63 Currently Galaxy interprets any information thrown to stderr as a tool
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
64 error, which is bad since OPPL (And many other tools) throw info to
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
65 sdterr even if working properly. In OPPL Galaxy, stderr is redirected to
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
66 /dev/null to avoid the problem, but that means that OPPL Galaxy does not
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
67 fail gracefully (It simply stops). A wrapper will be implemented.
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
68
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
69 http://wiki.g2.bx.psu.edu/Future/Job%20Failure%20When%20stderr
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
70
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
71 OBO rendering does not work properly if the URIs lack the fragment or
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
72 if an object property lacks an rdfs:label.
4
4f60202c58d9 Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 3
diff changeset
73
4f60202c58d9 Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 3
diff changeset
74
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
75
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
76 TESTS
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
77 =====
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
78
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
79 To run the functional test, first complete installation and then:
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
80
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
81 1.- Copy test.owl and test.oppl to /galaxy-dist/test-data/
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
82
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
83 2.- Add the following lines to /galaxy-dist/tool_conf.xml.sample
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
84
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
85 <section name="Ontology Pre Processor Language" id="oppl">
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
86 <tool file="OPPL/oppl.xml"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
87 </section>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
88
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
89 3.- Execute /galaxy-dist/run_functional_tests.sh -id oppl
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
90
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
91
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
92
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
93 CONTACT
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
94 =======
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
95
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
96 Please send any request or comment to mikel.egana.aranguren@gmail.com.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
97
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
98
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
99
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
100 ACKNOWLEDGEMENTS
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
101 ================
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
102
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
103 This work is funded by the Marie Curie Cofund program of the EU, FP7.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
104
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
105
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
106
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
107 COPYRIGHT AND LICENSE
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
108 =====================
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
109
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
110 Copyright (c) 2011 Mikel EgaƱa Aranguren.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
111
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
112 OPPL-Galaxy is free software: you can redistribute it and/or modify
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
113 it under the terms of the GNU General Public License as published by
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
114 the Free Software Foundation, either version 3 of the License, or
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
115 (at your option) any later version.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
116
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
117 This program is distributed in the hope that it will be useful,
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
118 but WITHOUT ANY WARRANTY; without even the implied warranty of
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
119 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
120 GNU General Public License for more details.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
121
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
122 You should have received a copy of the GNU General Public License
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
123 along with this program. If not, see <http://www.gnu.org/licenses/>.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
124
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
125 OPPL API, OWL API, Pellet, HermiT, FaCT++ and OBOformat have their own
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 6
diff changeset
126 licenses.
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
127
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
128 Galaxy is distributed as open source under the conditions of the
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
129 Academic Free License (http://www.opensource.org/licenses/academic.php).
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
130
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
131
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
132
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
133
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
134
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
135
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
136
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
137