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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
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>
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
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
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
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
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
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
13 </inputs>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
14 <outputs>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
15 <data format="text" name="output" />
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
16 </outputs>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
17
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
18 <tests>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
19 <test>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
20 <param name="input" value="test.owl"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
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
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
24 <output name="out_file" file="test_new.owl"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
25 </test>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
26 </tests>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
27
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
28 <help>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
29
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
30 **About OPPL-Galaxy**
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
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
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
33
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
34 **Formats**
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
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
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
37
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
38 **Usage**
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
39
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
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.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
41
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
42 Then execute the OPPL file against the OWL file with Ontology Pre Processor Language >> Execute an OPPL file against an OWL file.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
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
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
45
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
46 ?whole:CLASS,
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
47 ?part:CLASS
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
48 SELECT
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
49 ?part SubClassOf part_of some ?whole WHERE ?part != Nothing
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
50 BEGIN
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
51 ADD ?part SubClassOf part_of only ?whole
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
52 END;
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
53
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
54 **More information**
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
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
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
57
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
58 http://owlapi.sourceforge.net/
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
59
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
60 http://www.w3.org/TR/owl2-manchester-syntax/
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
61
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
62 http://clarkparsia.com/pellet
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
63
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
64 **Contact**
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
65
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
66 Please send any request or comment to mikel.egana.aranguren@gmail.com.
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
67
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
68 </help>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
69
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
70 </tool>