diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/galaxy-dist/tools/SADI/mergeRDFgraphs.xml	Fri Apr 25 14:41:12 2014 +0200
@@ -0,0 +1,33 @@
+<tool id="mergeRDFgraphs" name="Merge RDF Graphs" version="0.1">
+  <description>Merge RDF graphs</description>
+  <command interpreter="python">
+      MergeRDFGraphs.py
+      #for $i in $input_files
+        ${i.input_file}
+      #end for
+      > $output_file
+  </command>
+  <inputs>
+    <repeat name="input_files" title="Input RDF file">
+      <param name="input_file" type="data" format="rdf" label="RDF file"/>
+    </repeat>
+  </inputs>
+  <outputs>
+    <data name="output_file" format="rdf"/>
+  </outputs>
+  <help>
+    
+**Important note**
+
+RDFLib must be installed on the system (http://github.com/RDFLib/rdflib).
+
+**What it does**
+
+Merge RDF graphs from history.
+
+**Output Format**
+
+Output RDF format is RDF/XML by default.
+
+  </help>
+</tool>