Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/inference.xml @ 18:d3616fac4ca5 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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>