Added dataFiles to Study RO-Crate export

Author: floWetzels

src/Json/Study.fs

@@ -129,7 +129,8 @@ module Study =
                 Encode.tryIncludeSeq "publications" Publication.ROCrate.encoder s.Publications
                 Encode.tryIncludeSeq "people" Person.ROCrate.encoder s.Contacts
                 Encode.tryIncludeList "processSequence" (Process.ROCrate.encoder (Some s.Identifier) None) processes
-                Encode.tryIncludeSeq "assays" (Assay.ROCrate.encoder (Some s.Identifier)) assays           
+                Encode.tryIncludeSeq "assays" (Assay.ROCrate.encoder (Some s.Identifier)) assays 
+                Encode.tryIncludeList "dataFiles" Data.ROCrate.encoder (ARCtrl.Process.ProcessSequence.getData processes)        
                 Encode.tryIncludeSeq "comments" Comment.ROCrate.encoder s.Comments
                 "@context", ROCrateContext.Study.context_jsonvalue |> Some
             ]

src/Json/context/rocrate/isa_study_context.fs

@@ -49,6 +49,7 @@ module Study =
       "publications", Encode.string "sdo:citation"
       "people", Encode.string "sdo:creator"
       "assays", Encode.string "sdo:hasPart"
+      "dataFiles",Encode.string "sdo:hasPart"
       "filename", Encode.string "sdo:alternateName"
       "comments", Encode.string "sdo:comment"
       "processSequence", Encode.string "sdo:about"