Mercurial > repos > mikel-egana-aranguren > oppl
comparison OPPL/inference.xml @ 18:d3616fac4ca5 draft
Elk support added
author | Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Thu, 20 Sep 2012 12:46:36 +0200 |
parents | c9e01f86b07c |
children |
comparison
equal
deleted
inserted
replaced
17:c9e01f86b07c | 18:d3616fac4ca5 |
---|---|
11 <param name="input" type="data" label="Input ontology file"/> | 11 <param name="input" type="data" label="Input ontology file"/> |
12 <param name="reasoner" type="select" label="Choose reasoner"> | 12 <param name="reasoner" type="select" label="Choose reasoner"> |
13 <option value="Pellet" selected="true">Pellet</option> | 13 <option value="Pellet" selected="true">Pellet</option> |
14 <option value="HermiT">HermiT</option> | 14 <option value="HermiT">HermiT</option> |
15 <option value="FaCTPlusPlus">FaCT++</option> | 15 <option value="FaCTPlusPlus">FaCT++</option> |
16 <option value="Elk">Elk (Not all axioms supported)</option> | |
16 </param> | 17 </param> |
17 <param name="axioms" type="select" display="checkboxes" multiple="true" label="Select what axioms to add as asserted"> | 18 <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_ASSERTIONS">CLASS_ASSERTIONS</option> |
19 <option value="CLASS_HIERARCHY">CLASS_HIERARCHY</option> | 20 <option value="CLASS_HIERARCHY">CLASS_HIERARCHY</option> |
20 <option value="DATA_PROPERTY_HIERARCHY">DATA_PROPERTY_HIERARCHY</option> | 21 <option value="DATA_PROPERTY_HIERARCHY">DATA_PROPERTY_HIERARCHY</option> |
35 </tests>--> | 36 </tests>--> |
36 <help> | 37 <help> |
37 | 38 |
38 **About Inference-Galaxy** | 39 **About Inference-Galaxy** |
39 | 40 |
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 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 | 42 |
46 **Usage** | 43 **Usage** |
47 | 44 |
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. | 45 An ontology is needed as input: load it with Get Data >> Upload File from your computer or redirect the output of another galaxy tool. 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. In case the loaded ontology includes OWL imports, Inference-Galaxy will try to resolve them. |
49 | 46 |
50 The reasoner can be Pellet, HermiT or FaCT++. | 47 The reasoner can be Pellet, HermiT, FaCT++ or Elk. |
51 | 48 |
52 The inferred axioms to add as asserted axioms can be chosen. | 49 The inferred axioms to add as asserted axioms can be chosen. |
53 | 50 |
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** | 51 **Contact** |
75 | 52 |
76 Please send any request or comment to mikel.egana.aranguren@gmail.com. | 53 Please send any request or comment to mikel.egana.aranguren@gmail.com. |
77 | 54 |
78 </help> | 55 </help> |