Location: SPARC MIS Data Model @ c664f73a3975 / wfdesc.owl

Author:
David Nickerson <david.nickerson@gmail.com>
Date:
2018-11-15 17:55:53+13:00
Desc:
Adding initial attempt at basic provenance classes and properties. * Treating existing 'Resource' class as the core entity as per PROV-O * Adding new 'Agent' and 'Activity' classes * Make the existing 'Researcher' class a subclass of Agent * Adding new 'Software' class as a subclass of the Agent class * Defining the relevant properties to describe the provenance linkages * Software can be described with a text description and/or a URI pointing to the software
Permanent Source URI:
http://models.cellml.org/workspace/526/rawfile/c664f73a3975f999b8369a2bbc02aa9ead9f1329/wfdesc.owl

<?xml version="1.0"?>

<rdf:RDF xmlns="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">

    <owl:Ontology rdf:about="http://purl.org/wf4ever/wfdesc">
        <comment xml:lang="en">This ontology ("wfdesc") describes an abstract workflow description structure, which on the top level is defined as a wfdesc:Workflow. 

A wfdesc:Workflow contains several wfdesc:Process instances, associated using the wfdesc:hasSubProcess property. Each of these (and the workflow itself) wfdesc:hasInput and wfdesc:hasOutput some wfdesc:Parameter (wfdesc:Input or wfdesc:Output). An wfdesc:Artifact is associated with a wfdesc:Parameter using wfdesc:hasArtifact. The wfdesc:Workflow also wfdesc:hasDataLink several wfdesc:DataLink instances, which forms the connection between parameters.

Thus this ontology allows the description a direct acyclic graph, or a dataflow. 

This ontology is meant as an upper ontology for more specific workflow definitions, and as a way to express abstract workflows. The wfprov ontology shows how to link these descriptions to a provenance trace of a workflow execution.</comment>
        <owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0.1.1</owl:versionInfo>
        <owl:versionIRI rdf:resource="https://raw.github.com/wf4ever/ro/0.1.1/wfdesc.owl"/>
    </owl:Ontology>

    <owl:Class rdf:about="http://purl.org/wf4ever/wfdesc#Artifact">
        <comment xml:lang="en">wfdesc:Artifact is used to provide information about a class of artifacts. For example, it can be used to specify the datatype of a dataset or the structure of a document.

An wfdesc:Artifact is associated with a wfdesc:Parameter using wfdesc:hasArtifact.

The distinction between a parameter and artifact is that the parameter can be customized to describe the particular role the artifact plays with regards to the process (and can be linked using wfdesc:DataLink) - while the wfdesc:Artifact can describe the syntactic and semantic datatype.</comment>
    </owl:Class>

    <owl:Class rdf:about="http://purl.org/wf4ever/wfdesc#DataLink">
        <comment xml:lang="en">wfdesc:DataLink is used to represent data dependencies between wfdesc:Process descriptions. It means that the artifact generated at an wfdesc:Output (identified using wfdesc:hasSource) will be used by a wfdescInput (identified using wfdesc:hasSink).

The wfdesc:Processes that owns the wfdesc:Parameter instances which are the source and sink of a wfdesc:DataLink must be wfdesc:hasSubProcess of a the same wfdesc:Workflow which wfdesc:hasDataLink the data link, or be be parameters of that same workflow.

Thus links can only be made within a wfdesc:Workflow - although ports owned by the workflow itself appear both inside and outside the workflow (in opposite roles).</comment>
    </owl:Class>

    <owl:Class rdf:about="http://purl.org/wf4ever/wfdesc#Input">
        <comment xml:lang="en">wfdesc:Input represents an input parameter to a wfdesc:Process. This can be compared to a function parameter, command line argument, files read, or parameter set by a user interface.

It is out of scope of wfdesc to define the nature or classification of the parameter, such as giving it a name, position or data type. This can be done with subclasses and/or subproperties.</comment>
        <subClassOf rdf:resource="http://purl.org/wf4ever/wfdesc#Parameter"/>
    </owl:Class>

    <owl:Class rdf:about="http://purl.org/wf4ever/wfdesc#Output">
        <comment xml:lang="en">wfdesc:Output represents an output parameter from a wfdesc:Process. This can be compared to functional return values, stdout/stdin, files written, or results shown in a user interface.

It is out of scope of wfdesc to define the nature or classification of the parameter, such as giving it a name, position or data type. This can be done with subclasses and/or subproperties.</comment>
        <subClassOf rdf:resource="http://purl.org/wf4ever/wfdesc#Parameter"/>
    </owl:Class>

    <owl:Class rdf:about="http://purl.org/wf4ever/wfdesc#Parameter">
        <comment xml:lang="en">This class represent a parameter of a wfdesc:Process. A wfdesc:Parameter must be a wfdesc:Input, a wfdesc:Output, or both. 

A parameter is both an wfdesc:Input and wfdesc:Output when it is used on both sides of a subworkflow - see wfdesc:Workflow and wfdesc:DataLink for details.</comment>
        <owl:equivalentClass rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
            <owl:unionOf rdf:parseType="Resource">
                <rdf:first rdf:resource="http://purl.org/wf4ever/wfdesc#Input"/>
                <rdf:rest rdf:parseType="Resource">
                    <rdf:first rdf:resource="http://purl.org/wf4ever/wfdesc#Output"/>
                    <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
                </rdf:rest>
            </owl:unionOf>
        </owl:equivalentClass>
    </owl:Class>

    <owl:Class rdf:about="http://purl.org/wf4ever/wfdesc#Process">
        <comment xml:lang="en">A wfdesc:Process is used to describe a class of actions that when enacted give rise to processes. A process can have 0 or more wfdesc:Parameter instances associated using wfdesc:hasInput and wfdesc:hasOutput, signifying what kind of parameters the process will require and return.

It is out of scope for wfdesc to classify or specify the nature of the process, this should be done by subclassing and additional subproperties, for instance ex:perlScript or ex:restServiceURI</comment>
    </owl:Class>

    <owl:Class rdf:about="http://purl.org/wf4ever/wfdesc#Workflow">
        <comment xml:lang="en">A wfdesc:Workflow is a directed graph in which the nodes are wfdesc:Process instances and the edges (wfdesc:DataLink instances) represent data dependencies between the constituent wfdesc:Process descriptions.

A wfdesc:Workflow defines associated wfdesc:Process using wfdesc:hasSubProcess. A specialisation of this property is wfdesc:hasSubWorkflow, signifying that the process is a wfdesc:Workflow itself, which is further described in a similar fashion.

As a subclass of wfdesc:Process a wfdesc:Workflow can also define wfdesc:hasInput/wfdesc:hasOutput parameters - these would be inputs taken at workflow execution time, and final outputs of the workflow. (Note: Not all dataflow systems have this concept of workflow parameters)

wfdesc:Parameter descriptions are linked using wfdesc:DataLink descriptions associated with the wfdesc:Workflow using wfdesc:hasDataLink.

A wfdesc:Parameter defined with wfdesc:hasInput on a wfdesc:Workflow is considered an wfdesc:Input "outside" the workflow (ie. if it is a subworkflow), but an wfdesc:Output "inside" the workflow (where it can be connected to a wfdesc:Input of a wfdesc:Process). Thus such parameters can be linked "through" the workflow without having a "mirrored" port inside.


Example:
##
@prefix wfdesc: &#60;http://purl.org/wf4ever/wfdesc#&#62; .
:outerWorkflow a wfdesc:Workflow ;
  wfdesc:hasSubWorkflow :innerWorkflow ;
  wfdesc:hasSubProcess :procA, :procC .

:procA a wfdesc:Process ;
  wfdesc:hasOutput :param1 .

:procC a wfdesc:Process ;
  wfdesc:hasInput :param2 ;
  wfdesc:hasOutput :param3 .


:innerWorkflow a wfdesc:Workflow ;
  wfdesc:hasInput :param4 ;
  wfdesc:hasOutput :param5 ;
  wfdesc:hasProcess :procB .

:procB a wfdesc:Process ;
  wfdesc:hasInput :param6 ;
  wfdesc:hasOutput :param7 .

:innerWorkflow wfdesc:hasDataLink 
   [ wfdesc:hasSource :param4; wfdesc:hasSink :param6 ], 
   [ wfdesc:hasSource :param7; wfdesc:hasSink :param5 ] .

:outerWorkflow wfdesc:hasDataLink
  [ wfdesc:hasSource :param1; wfdesc:hasSink :param4 ],
  [ wfdesc:hasSource :param5; wfdesc:hasSink :param2 ] .

##


In this example :param1 is the output of :procA. :param1 is the source in a datalink that goes to the input :param4 of the :innerWorkflow. :param4 is however also the source of an inner datalink, going to input :param6 of the nested :procB.

From this :param4 is both an wfdesc:Input and wfdesc:Output (which is why these two classes are not disjoint)</comment>
        <subClassOf rdf:resource="http://purl.org/wf4ever/wfdesc#Process"/>
    </owl:Class>

    <owl:Class rdf:about="http://purl.org/wf4ever/wfdesc#WorkflowInstance">
        <comment xml:lang="en">A wfdesc:WorkflowInstance is a specialisation of a wfdesc:Workflow description which defines all data/parameters/settings that are required to form a wfprov:WorkflowRun.</comment>
        <subClassOf rdf:resource="http://purl.org/wf4ever/wfdesc#Workflow"/>
    </owl:Class>

    <owl:ObjectProperty rdf:about="http://purl.org/wf4ever/wfdesc#hasArtifact">
        <comment xml:lang="en">This property associates a wfdesc:Parameter with an wfdesc:Artifact which can describe the artifact which would be used/generated on execution of the workflow.</comment>
        <domain rdf:resource="http://purl.org/wf4ever/wfdesc#Parameter"/>
        <range rdf:resource="http://purl.org/wf4ever/wfdesc#Artifact"/>
        <subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>

    <owl:ObjectProperty rdf:about="http://purl.org/wf4ever/wfdesc#hasDataLink">
        <comment xml:lang="en">This property is used to specify the wfdesc:DataLink instances of a given wfdesc:Workflow.</comment>
        <domain rdf:resource="http://purl.org/wf4ever/wfdesc#Workflow"/>
        <range rdf:resource="http://purl.org/wf4ever/wfdesc#DataLink"/>
        <subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>

    <owl:ObjectProperty rdf:about="http://purl.org/wf4ever/wfdesc#hasInput">
        <comment xml:lang="en">This object property is used to specify the wfdesc:Input parameter of a given wfdesc:Process.</comment>
        <domain rdf:resource="http://purl.org/wf4ever/wfdesc#Process"/>
        <range rdf:resource="http://purl.org/wf4ever/wfdesc#Input"/>
    </owl:ObjectProperty>

    <owl:ObjectProperty rdf:about="http://purl.org/wf4ever/wfdesc#hasOutput">
        <comment xml:lang="en">This object property is used to specify the wfdesc:Output parameter of a given wfdesc:Process.
</comment>
        <domain rdf:resource="http://purl.org/wf4ever/wfdesc#Process"/>
        <range rdf:resource="http://purl.org/wf4ever/wfdesc#Output"/>
    </owl:ObjectProperty>

    <owl:ObjectProperty rdf:about="http://purl.org/wf4ever/wfdesc#hasSink">
        <comment xml:lang="en">This property is used to specify the wfdesc:Input parameter that acts as a sink from a given wfdesc:DataLink, consuming data from the link.</comment>
        <domain rdf:resource="http://purl.org/wf4ever/wfdesc#DataLink"/>
        <range rdf:resource="http://purl.org/wf4ever/wfdesc#Input"/>
        <subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>

    <owl:ObjectProperty rdf:about="http://purl.org/wf4ever/wfdesc#hasSource">
        <comment xml:lang="en">This property is used to specify the wfdesc:Output parameter that acts as a source to a given wfdesc:DataLink, providing data into the link.</comment>
        <domain rdf:resource="http://purl.org/wf4ever/wfdesc#DataLink"/>
        <range rdf:resource="http://purl.org/wf4ever/wfdesc#Output"/>
        <subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>

    <owl:ObjectProperty rdf:about="http://purl.org/wf4ever/wfdesc#hasSubProcess">
        <comment xml:lang="en">This object property is used to specify that the given workflow  contains the given process as part of its definition.

Although not a requirement, such sub processes should have wfdesc:DataLink within the containing workflow connecting their parameters with parameters of the containing workflow, or with parameters other contained wfdesc:Process instances.

A specialialisation of sub process is wfdesc:hasSubWorkflow where the sub process is a nested wfdesc:Workflow.</comment>
        <domain rdf:resource="http://purl.org/wf4ever/wfdesc#Workflow"/>
        <range rdf:resource="http://purl.org/wf4ever/wfdesc#Process"/>
    </owl:ObjectProperty>

    <owl:ObjectProperty rdf:about="http://purl.org/wf4ever/wfdesc#hasSubWorkflow">
        <comment xml:lang="en">This object property is used to associate a wfdesc:Workflow description to another wfdesc:Workflow, specifying that the first workflow has the given sub-workflow as a contained process. 

This is a specialisation of wfdesc:hasSubProcess.</comment>
        <domain rdf:resource="http://purl.org/wf4ever/wfdesc#Workflow"/>
        <range rdf:resource="http://purl.org/wf4ever/wfdesc#Workflow"/>
        <subPropertyOf rdf:resource="http://purl.org/wf4ever/wfdesc#hasSubProcess"/>
    </owl:ObjectProperty>

    <owl:AnnotationProperty rdf:about="http://www.w3.org/2000/01/rdf-schema#comment">
    </owl:AnnotationProperty>
</rdf:RDF>