comparison OPPL/README @ 10:3f31c0eb7539

Interface improved
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Thu, 12 Jan 2012 10:20:00 +0100
parents 14bfd77f8520
children 6ca67b155e32
comparison
equal deleted inserted replaced
9:14bfd77f8520 10:3f31c0eb7539
8 8
9 9
10 INSTALLATION 10 INSTALLATION
11 ============ 11 ============
12 12
13 1.- Stop galaxy. 13 1.- Stop Galaxy.
14 14
15 2.- Copy oppl_galaxy_tool.jar, FaCT++-linux-v1.5.2/ FaCT++-OSX-v1.5.2/ 15 2.- Copy oppl_galaxy_tool.jar, FaCT++-linux-v1.5.2/ FaCT++-OSX-v1.5.2/
16 and oppl_galaxy_tool_lib/ to /galaxy-dist/tool-data/shared/jars/ 16 and oppl_galaxy_tool_lib/ to /galaxy-dist/tool-data/shared/jars/
17 17
18 3.- Create directory /galaxy-dist/tools/OPPL/ 18 3.- Create directory /galaxy-dist/tools/OPPL/
23 23
24 <section name="Ontology Pre Processor Language" id="oppl"> 24 <section name="Ontology Pre Processor Language" id="oppl">
25 <tool file="OPPL/oppl.xml"/> 25 <tool file="OPPL/oppl.xml"/>
26 </section> 26 </section>
27 27
28 6.- Start galaxy. 28 6.- Start Galaxy.
29 29
30 30
31 31
32 USAGE 32 USAGE
33 ===== 33 =====
41 Then execute the OPPL file against the OWL file: 41 Then execute the OPPL file against the OWL file:
42 42
43 Ontology Pre Processor Language 43 Ontology Pre Processor Language
44 >> Execute an OPPL file against an OWL file 44 >> Execute an OPPL file against an OWL file
45 45
46 An ontology produced by another galaxy tools can also be used. 46 An ontology produced by another galaxy tool can also be used.
47 47
48 Test.oppl and test.owl can be used as examples. More OPPL-Galaxy 48 Test.oppl and test.owl can be used as examples. More OPPL-Galaxy
49 examples can be obtained at http://miuras.inf.um.es/OPPL-Galaxy/, and 49 examples can be obtained at http://miuras.inf.um.es/OPPL-Galaxy/, and
50 general OPPL script that may be useful to use with OPPL-Galaxy can be 50 general OPPL script that may be useful to use with OPPL-Galaxy can be
51 obtained at http://oppl2.sourceforge.net/taggedexamples/. 51 obtained at http://oppl2.sourceforge.net/taggedexamples/.
52
53 A public instance of Galaxy with pre-installed OPPL-Galaxy can be used
54 at http://sele.inf.um.es:8080/.
52 55
53 56
54 57
55 FORESEEN FEATURES 58 FORESEEN FEATURES
56 ================= 59 =================
57 60
58 Choose which inferred axioms to add to the output ontology (Right now 61 Choose which inferred axioms to add to the output ontology (Right now
59 only subsumption between named classes is available). 62 only subsumption between named classes is available).
60 63
61 OWLLink support. 64 Rendering definition (URI fragment, label, etc).
65
66 XML catalog support for imported URIs.
67
68 OWLLink and Racer support.
62 69
63 70
64 71
65 KNOWN BUGS AND ISSUES 72 KNOWN BUGS AND ISSUES
66 ===================== 73 =====================