Mercurial > repos > mikel-egana-aranguren > oppl
annotate OPPL/oppl.xml @ 4:4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
author | Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Wed, 14 Sep 2011 19:52:06 +0200 |
parents | 5255f1333cc4 |
children | 68935f90c2db |
rev | line source |
---|---|
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
|
1 <tool id="oppl" name="Execute an OPPL file against an ontology" version="1.0.2"> |
0 | 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> |
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
|
3 <command>java -jar ${__tool_data_path__}/shared/jars/oppl_galaxy_tool.jar $input $OPPL $format $inferred > $output </command> |
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
|
4 <!--<command>java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_galaxy_tool.jar $input $OPPL $format > $output </command>--> |
0 | 5 <inputs> |
3
5255f1333cc4
Version 1.0.1
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
6 <param format="text" name="input" type="data" label="Input ontology file"/> |
0 | 7 <param format="text" name="OPPL" type="data" label="OPPL file"/> |
3
5255f1333cc4
Version 1.0.1
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
8 <param name="format" type="select" label="Choose ontology output format"> |
5255f1333cc4
Version 1.0.1
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
9 <option value="OWL" selected="true">OWL</option> |
5255f1333cc4
Version 1.0.1
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
10 <option value="OBO">OBO</option> |
5255f1333cc4
Version 1.0.1
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
11 </param> |
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
|
12 <param name="inferred" type="boolean" value="False" truevalue="Add_inferred" falsevalue="Gora_ni" label="Add inferred subsumption axioms to output ontology"/> |
0 | 13 </inputs> |
14 <outputs> | |
15 <data format="text" name="output" /> | |
16 </outputs> | |
17 | |
18 <tests> | |
19 <test> | |
20 <param name="input" value="test.owl"/> | |
21 <param name="OPPL" value="test.oppl"/> | |
3
5255f1333cc4
Version 1.0.1
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
22 <param name="format" value="OWL"/> |
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
|
23 <param name="inferred" value="False"/> |
0 | 24 <output name="out_file" file="test_new.owl"/> |
25 </test> | |
26 </tests> | |
27 | |
28 <help> | |
29 | |
30 **About OPPL-Galaxy** | |
31 | |
3
5255f1333cc4
Version 1.0.1
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
32 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 (Adding or removing axioms). An OPPL script (See bellow or test.oppl) defines a query to be performed against the ontology, and some actions 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 a given ontology, saving time and effort. |
0 | 33 |
34 **Formats** | |
35 | |
3
5255f1333cc4
Version 1.0.1
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
36 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. The available output formats are OBO flat file and OWL (RDF/XML). |
0 | 37 |
38 **Usage** | |
39 | |
40 An ontology and an OPPL file are needed (test.owl and test.oppl can be used as samples). Load both with Get Data >> Upload File from your computer. | |
41 | |
42 Then execute the OPPL file against the OWL file with Ontology Pre Processor Language >> Execute an OPPL file against an OWL file. | |
43 | |
3
5255f1333cc4
Version 1.0.1
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
44 This is the OPPL script provided in the bundle, test.oppl (Variables start with ?): |
0 | 45 |
46 ?whole:CLASS, | |
47 ?part:CLASS | |
48 SELECT | |
49 ?part SubClassOf part_of some ?whole WHERE ?part != Nothing | |
50 BEGIN | |
51 ADD ?part SubClassOf part_of only ?whole | |
52 END; | |
53 | |
54 **More information** | |
55 | |
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
|
56 http://oppl.sf.net/ |
0 | 57 |
58 http://owlapi.sourceforge.net/ | |
59 | |
60 http://www.w3.org/TR/owl2-manchester-syntax/ | |
61 | |
62 http://clarkparsia.com/pellet | |
63 | |
64 **Contact** | |
65 | |
66 Please send any request or comment to mikel.egana.aranguren@gmail.com. | |
67 | |
68 </help> | |
69 | |
70 </tool> |