comparison galaxy-dist/tools/SADI/mergeRDFgraphs.xml @ 2:977c838e3442 draft default tip

New dir structure, README improved, tests added and RDF merge tool created
author mikel-egana-aranguren <mikel.egana.aranguren@gmail.com>
date Fri, 25 Apr 2014 14:41:12 +0200
parents
children
comparison
equal deleted inserted replaced
1:bb17b69a74c5 2:977c838e3442
1 <tool id="mergeRDFgraphs" name="Merge RDF Graphs" version="0.1">
2 <description>Merge RDF graphs</description>
3 <command interpreter="python">
4 MergeRDFGraphs.py
5 #for $i in $input_files
6 ${i.input_file}
7 #end for
8 > $output_file
9 </command>
10 <inputs>
11 <repeat name="input_files" title="Input RDF file">
12 <param name="input_file" type="data" format="rdf" label="RDF file"/>
13 </repeat>
14 </inputs>
15 <outputs>
16 <data name="output_file" format="rdf"/>
17 </outputs>
18 <help>
19
20 **Important note**
21
22 RDFLib must be installed on the system (http://github.com/RDFLib/rdflib).
23
24 **What it does**
25
26 Merge RDF graphs from history.
27
28 **Output Format**
29
30 Output RDF format is RDF/XML by default.
31
32 </help>
33 </tool>