annotate oppl.xml @ 20:46257c870179 draft

New installation procedure added
author Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Mon, 08 Oct 2012 12:55:08 +0200
parents cc270db37d33
children 8d4bbaa99b4a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
1 <tool id="oppl" name="Execute an OPPL file against an ontology" version="1.0.8">
5
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
2 <description>It executes an OPPL script against the input ontology and generates a new ontology with the changes described in the OPPL script</description>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
3
6
3740505b579c Added reasoner option: Pellet or HermiT
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 5
diff changeset
4 <!-- Galaxy is not happy with OPPL throwing info into stderr, and I have redirected stderr to /dev/null, which is a bad solution since OPPL galaxy does not inform properly when it fails -->
3740505b579c Added reasoner option: Pellet or HermiT
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 5
diff changeset
5 <!-- More info on the stderr issue: http://wiki.g2.bx.psu.edu/Future/Job%20Failure%20When%20stderr -->
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
6 <!-- Testing with wrapper.sh but no success so far -->
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 7
diff changeset
7
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
8
10
3f31c0eb7539 Interface improved
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 9
diff changeset
9
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
10 <!-- DEFAULT SETTINGS -->
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
11
17
c9e01f86b07c New tool added for merging imported ontologies (GalaxyOWLAPI and README changed and test ontologies added accordingly). Memory settings changed in all the tools XML files
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 14
diff changeset
12 <!-- For big ontologies I use -Xmx3000M -Xms250M -DentityExpansionLimit=1000000000 If that's too much for your machine simply delete or modify at will, but since Galaxy is usually used in a server setting it makes sense to use a big chunk of memory -->
10
3f31c0eb7539 Interface improved
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 9
diff changeset
13
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
14 <!--<command>
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
15 java -Xmx3000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_galaxy.jar $input $reasoner $OPPL $format > $output 2>/dev/null
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
16 </command>-->
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
17
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
18 <!-- FACT++ -->
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
19
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
20 <!-- If you are planning to use FaCT++ you have to uncomment bellow (And comment the default settings above) and replace the -Djava.library.path with the appropiate JNI library path for your platform:FaCT++-linux-v1.5.2/64bit, FaCT++-linux-v1.5.2/32bit, FaCT++-OSX-v1.5.2/64bit, ...... -->
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 7
diff changeset
21 <!-- Using this setting doesn't upset the rest of the reasoners so you may as well leave it on if you plan to switch between FaCT++, Pellet and HermiT -->
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 7
diff changeset
22
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
23 <command>
17
c9e01f86b07c New tool added for merging imported ontologies (GalaxyOWLAPI and README changed and test ontologies added accordingly). Memory settings changed in all the tools XML files
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 14
diff changeset
24 java -Djava.library.path=${__tool_data_path__}/shared/jars/FaCT++-linux-v1.5.2/64bit -Xmx3000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_galaxy.jar $input $reasoner $OPPL $format > $output 2>/dev/null
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
25 </command>
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
26
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
27
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 7
diff changeset
28
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 7
diff changeset
29
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
30 <!-- DEBUGGING -->
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 7
diff changeset
31
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
32 <!-- For debugging simply remove 2>/dev/null Or uncomment bellow (And comment the default settings above). It will fail always (Due to OPPL messages) but at least it will be informative -->
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
33
12
d0722148cb59 XML file improved for consistency
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 11
diff changeset
34 <!--<command>
17
c9e01f86b07c New tool added for merging imported ontologies (GalaxyOWLAPI and README changed and test ontologies added accordingly). Memory settings changed in all the tools XML files
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 14
diff changeset
35 java -Xmx3000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_galaxy.jar $input $reasoner $OPPL $format > $output
12
d0722148cb59 XML file improved for consistency
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 11
diff changeset
36 </command>-->
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
37
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
38
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
39
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
40
5
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
41 <inputs>
14
68c4ae500a13 XML files changed for more flexible inputs (oppl, query and inference)
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 12
diff changeset
42 <param name="input" type="data" label="Input ontology file"/>
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
43 <param format="text" name="OPPL" type="data" label="OPPL file"/>
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
44 <param name="reasoner" type="select" label="Choose reasoner">
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
45 <option value="Pellet" selected="true">Pellet</option>
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
46 <option value="HermiT">HermiT</option>
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
47 <option value="FaCTPlusPlus">FaCT++</option>
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
48 <option value="Elk">Elk (Not all axioms supported)</option>
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
49 </param>
5
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
50 <param name="format" type="select" label="Choose ontology output format">
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
51 <option value="OWL" selected="true">OWL</option>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
52 <option value="OBO">OBO</option>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
53 </param>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
54 </inputs>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
55 <outputs>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
56 <data format="text" name="output" />
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
57 </outputs>
17
c9e01f86b07c New tool added for merging imported ontologies (GalaxyOWLAPI and README changed and test ontologies added accordingly). Memory settings changed in all the tools XML files
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 14
diff changeset
58 <!--<tests>
5
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
59 <test>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
60 <param name="input" value="test.owl"/>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
61 <param name="OPPL" value="test.oppl"/>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
62 <param name="format" value="OWL"/>
6
3740505b579c Added reasoner option: Pellet or HermiT
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 5
diff changeset
63 <param name="reasoner" value="Pellet"/>
5
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
64 <output name="out_file" file="test_new.owl"/>
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
65 </test>
17
c9e01f86b07c New tool added for merging imported ontologies (GalaxyOWLAPI and README changed and test ontologies added accordingly). Memory settings changed in all the tools XML files
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 14
diff changeset
66 </tests>-->
5
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
67 <help>
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
68
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
69 **About OPPL-Galaxy**
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
70
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
71 OPPL-Galaxy can be used to execute an OPPL script against an ontology, generating a new ontology. OPPL (Ontology Pre Processor Language) is a high level scripting language, based in the Manchester OWL Syntax, to automate the manipulation of an ontology. An OPPL script (See test.oppl) defines a query to be performed against the ontology, and some actions (Adding or removing axioms) that affect the entities that will be retrieved. Those entities can be named or defined by a variable. OPPL is a powerful method for defining and executing modelling patterns that are repeated in an ontology, saving time and energy.
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
72
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
73 **Usage**
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
74
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
75 An ontology and an OPPL file are needed (test.owl and test.oppl can be used as samples, both available in the bundle). Load both with Get Data >> Upload File from your computer, or redirect from another Galaxy tool. OPPL-Galaxy uses the OWL API, and therefore it can load any ontology format that such API is able to load: OBO flat file, OWL (RDF/XML, OWL/XML, Functional, Manchester), turtle, and KRSS. In case the loaded ontology includes OWL imports, OPPL-Galaxy will try to resolve them.
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
76
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
77 The reasoner can be Pellet, HermiT, FaCT++ or Elk.
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
78
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
79 The output ontology can be OBO or OWL (RDF/XML).
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 7
diff changeset
80
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
81 **More information**
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
82
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
83 Galaxy public instances with OPPL-Galaxy pre-installed:
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
84
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
85 http://sele.inf.um.es:9080/
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
86
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
87 http://linkeddata2.dia.fi.upm.es:8080
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
88
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
89 OPPL-Galaxy Examples:
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
90
10
3f31c0eb7539 Interface improved
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 9
diff changeset
91 http://miuras.inf.um.es/OPPL-Galaxy/
11
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
92
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
93 OPPL examples:
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
94
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
95 http://oppl2.sourceforge.net/taggedexamples/
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
96
6ca67b155e32 Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 10
diff changeset
97 Links of interest:
10
3f31c0eb7539 Interface improved
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 9
diff changeset
98
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
99 http://oppl.sf.net/
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
100
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
101 http://www.w3.org/TR/owl2-manchester-syntax/
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 http://clarkparsia.com/pellet
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
104
6
3740505b579c Added reasoner option: Pellet or HermiT
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 5
diff changeset
105 http://hermit-reasoner.com/
8
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 7
diff changeset
106
40adbcb2a7cc Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 7
diff changeset
107 http://code.google.com/p/factplusplus/
10
3f31c0eb7539 Interface improved
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 9
diff changeset
108
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
109 http://code.google.com/p/elk-reasoner/
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
110
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
111 http://owlapi.sourceforge.net/
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
112
10
3f31c0eb7539 Interface improved
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 9
diff changeset
113 **Citation**
3f31c0eb7539 Interface improved
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 9
diff changeset
114
18
d3616fac4ca5 Elk support added
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 17
diff changeset
115 Mikel Egaña Aranguren, Jesualdo Tomás Fernández-Breis, Erick Antezana. OPPL-Galaxy: Enhancing ontology exploitation in Galaxy with OPPL. In Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, SWAT4LS 2011, pages 12–19, ACM 2012.
6
3740505b579c Added reasoner option: Pellet or HermiT
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 5
diff changeset
116
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
117 **Contact**
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
118
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
119 Please send any request or comment to mikel.egana.aranguren@gmail.com.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
120
5
68935f90c2db Added OWL imports closure
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents: 4
diff changeset
121 </help>
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
122
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
123 </tool>