Mercurial > repos > mikel-egana-aranguren > oppl
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 |
rev | line source |
---|---|
0 | 1 |
2 | |
3 | |
4 =========== | |
5 OPPL-GALAXY | |
6 =========== | |
7 | |
8 | |
9 | |
10 INSTALLATION | |
11 ============ | |
12 | |
13 1.- Stop galaxy. | |
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 | 17 |
18 3.- Create directory /galaxy-dist/tools/OPPL/. | |
19 | |
20 4.- Copy oppl.xml to /galaxy-dist/tools/OPPL/. | |
21 | |
22 5.- Add the following lines to /galaxy-dist/tool_conf.xml: | |
23 | |
24 <section name="Ontology Pre Processor Language" id="oppl"> | |
25 <tool file="OPPL/oppl.xml"/> | |
26 </section> | |
27 | |
28 6.- Start galaxy. | |
29 | |
30 | |
31 | |
32 USAGE | |
33 ===== | |
34 | |
35 An ontology and an OPPL file are needed (test.owl and test.oppl can be | |
36 used as samples). Load both: | |
37 | |
38 Get Data | |
39 >> Upload File from your computer | |
40 | |
41 Then execute the OPPL file against the OWL file: | |
42 | |
43 Ontology Pre Processor Language | |
44 >> Execute an OPPL file against an OWL file | |
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 | 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 | 75 |
76 TESTS | |
77 ===== | |
78 | |
79 To run the functional test, first complete installation and then: | |
80 | |
81 1.- Copy test.owl and test.oppl to /galaxy-dist/test-data/ | |
82 | |
83 2.- Add the following lines to /galaxy-dist/tool_conf.xml.sample | |
84 | |
85 <section name="Ontology Pre Processor Language" id="oppl"> | |
86 <tool file="OPPL/oppl.xml"/> | |
87 </section> | |
88 | |
89 3.- Execute /galaxy-dist/run_functional_tests.sh -id oppl | |
90 | |
91 | |
92 | |
93 CONTACT | |
94 ======= | |
95 | |
96 Please send any request or comment to mikel.egana.aranguren@gmail.com. | |
97 | |
98 | |
99 | |
100 ACKNOWLEDGEMENTS | |
101 ================ | |
102 | |
103 This work is funded by the Marie Curie Cofund program of the EU, FP7. | |
104 | |
105 | |
106 | |
107 COPYRIGHT AND LICENSE | |
108 ===================== | |
109 | |
110 Copyright (c) 2011 Mikel EgaƱa Aranguren. | |
111 | |
112 OPPL-Galaxy is free software: you can redistribute it and/or modify | |
113 it under the terms of the GNU General Public License as published by | |
114 the Free Software Foundation, either version 3 of the License, or | |
115 (at your option) any later version. | |
116 | |
117 This program is distributed in the hope that it will be useful, | |
118 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
119 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
120 GNU General Public License for more details. | |
121 | |
122 You should have received a copy of the GNU General Public License | |
123 along with this program. If not, see <http://www.gnu.org/licenses/>. | |
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 | 127 |
128 Galaxy is distributed as open source under the conditions of the | |
129 Academic Free License (http://www.opensource.org/licenses/academic.php). | |
130 | |
131 | |
132 | |
133 | |
134 | |
135 | |
136 | |
137 |