Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/inference.xml @ 11:6ca67b155e32

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Imports simplified, new tool for inference added
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Fri, 09 Mar 2012 16:15:27 +0100
parents
children 68c4ae500a13
comparison
equal deleted inserted replaced
10:3f31c0eb7539 11:6ca67b155e32
1 <tool id="inference" name="Perform inference in an OWL ontology" version="1.0.1">
2 <description>It performs inference in an OWL ontology and it generates a new ontology with the inferred axioms as asserted axioms</description>
3
4 <!-- For big ontologies I use -Xmx7000M -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 -->
5
6 <command>
7 java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/inference.jar $input $reasoner $axioms > $output
8 </command>
9
10 <inputs>
11 <param format="text" name="input" type="data" label="Input ontology file"/>
12 <param name="reasoner" type="select" label="Choose reasoner">
13 <option value="Pellet" selected="true">Pellet</option>
14 <option value="HermiT">HermiT</option>
15 <option value="FaCTPlusPlus">FaCT++</option>
16 </param>
17 <param name="axioms" type="select" display="checkboxes" multiple="true" label="Select what axioms to add as asserted">
18 <option value="CLASS_ASSERTIONS">CLASS_ASSERTIONS</option>
19 <option value="CLASS_HIERARCHY">CLASS_HIERARCHY</option>
20 <option value="DATA_PROPERTY_HIERARCHY">DATA_PROPERTY_HIERARCHY</option>
21 <option value="DISJOINT_CLASSES">DISJOINT_CLASSES</option>
22 <option value="OBJECT_PROPERTY_HIERARCHY">OBJECT_PROPERTY_HIERARCHY</option>
23 </param>
24 </inputs>
25 <outputs>
26 <data format="text" name="output" />
27 </outputs>
28 <tests>
29 <test>
30 <param name="input" value="test.owl"/>
31 <param name="reasoner" value="Pellet"/>
32 <param name="axioms" value="CLASS_ASSERTIONS,CLASS_HIERARCHY,OBJECT_PROPERTY_HIERARCHY"/>
33 <output name="out_file" file="test_new.owl"/>
34 </test>
35 </tests>
36 <help>
37
38 **About Inference-Galaxy**
39
40 Inference galaxy offers the possibility of performing automated reasoning in an ontology and then injecting the inferred axioms as asserted axioms, generating a new OWL ontology.
41
42 **Formats**
43
44 Inference-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. The output is OWL (RDF/XML).
45
46 **Usage**
47
48 An ontology is needed as input: load it with Get Data >> Upload File from your computer or redirect the output of another galaxy tool. In case the ontology includes imports, they should be resolvable.
49
50 The reasoner can be Pellet, HermiT or FaCT++.
51
52 The inferred axioms to add as asserted axioms can be chosen.
53
54 **More information**
55
56 Galaxy public instances with Inference-Galaxy pre-installed:
57
58 http://sele.inf.um.es:8080/
59
60 http://linkeddata2.dia.fi.upm.es:8080
61
62 Links of interest:
63
64 http://owlapi.sourceforge.net/
65
66 http://www.w3.org/TR/owl2-manchester-syntax/
67
68 http://clarkparsia.com/pellet
69
70 http://hermit-reasoner.com/
71
72 http://code.google.com/p/factplusplus/
73
74 **Contact**
75
76 Please send any request or comment to mikel.egana.aranguren@gmail.com.
77
78 </help>
79
80 </tool>