isStepOfPlan
range: Thing
domain: Thing
type: ObjectProperty
definition: p-plan:isStepOfPlan links a p-plan:Step to the p-plan:Plan which it corresponds to.
range: Plan
domain: Step
type: Property
range: Entity
range: Resource
domain: Resource

Step
subclass of: Thing
subclass of: Resource
type: Class
definition: A p-plan:Step represents the planned execution activity

Variable
subclass of: Thing
subclass of: Resource
type: Class
comment: Specialization of p-plan:Variable in order to be able to assert specific properties. A wf-invoc:Variable refers to those p-plan:Variables related to the scientific workflow invocation.
subclass of: Variable

hasOutputVar
range: Thing
domain: Thing
type: InverseFunctionalProperty
type: ObjectProperty
definition: p-plan:hasOutputVar binds a p-plan:Step to the p-plan:Variable that will be produced as output in the planned execution
domain: Step
range: Variable
inverse of: isOutputVarOf
type: Property
range: Resource
domain: Resource

isInputVarOf
range: Thing
domain: Thing
type: ObjectProperty
definition: p-plan:isInputVarOf links an input variable of a step to the step.
range: Step
domain: Variable
inverse of: hasInputVar
type: Property
range: Resource
domain: Resource

Entity
subclass of: Thing
subclass of: Resource
type: Class
subclass of: Entity
definition: A p-plan:Entity represents the input of the execution of a p-plan:Activity. It corresponds to a p-plan:Variable.

Variable
subclass of: Thing
subclass of: Resource
type: Class
definition: A p-plan:Variable represents a description of the input of the planned Activity (p-plan:Step)

isOutputVarOf
inverse of: hasOutputVar
range: Thing
domain: Thing
type: ObjectProperty
type: FunctionalProperty
definition: p-plan:isOutputVarOf is intended to link an output variable of a step to the step.
range: Step
domain: Variable
type: Property
range: Resource
domain: Resource

MultiStep
subclass of: Thing
subclass of: Resource
type: Class
subclass of: Plan
subclass of: Step
definition: A multi step is the representation of a plan that appears as a step of another plan.
subclass of: Entity

hasInputVar
inverse of: isInputVarOf
range: Thing
domain: Thing
type: ObjectProperty
definition: p-plan:hasInputVar binds a p-plan:Step to the p-plan:Variable that takes as input for the planned execution
domain: Step
range: Variable
type: Property
range: Resource
domain: Resource

isSubPlanOfPlan
range: Thing
domain: Thing
type: ObjectProperty
definition: A p-plan:Plan may be a subplan of another bigger p-plan:Plan. p-plan:isSubPlanOfPlan is used to state the link among the two different plans. Note that if p1 is a p-plan:subPlan of p2, p1will not necessarily be a step of p2. A multistep will represent p1 in p2, and link to p1 with the p-plan.hasStepDecomposition relationship.
range: Plan
domain: Plan
sub property of: topObjectProperty
type: Property
range: Entity
range: Resource
domain: Resource
domain: Entity

Activity
subclass of: Thing
subclass of: Resource
type: Class
subclass of: Activity
comment: A p-plan:Activity represents the execution process planned in a p-plan:Step

correspondsToVariable
range: Thing
domain: Thing
type: ObjectProperty
type: FunctionalProperty
definition: p-plan:correspondsToVariable binds a p-plan:Entity (used by a p-plan:Activity in the execution of a plan) to the p-plan:Variable it represented it in the p-plan:Plan.
domain: Entity
range: Variable
type: Property
range: Resource
domain: Resource

isVariableofPlan
range: Thing
domain: Thing
type: ObjectProperty
definition: p-plan:IsVariableOfPlan binds a p-plan:Variable to the p-plan:Plan it corresponds to.
range: Plan
domain: Variable
type: Property
range: Entity
range: Resource
domain: Resource

correspondsToStep
range: Thing
domain: Thing
type: ObjectProperty
type: FunctionalProperty
definition: p-plan:correspondsToStep links a p-plan:Activity to its planned p-plan:Step
domain: Activity
range: Step
type: Property
range: Resource
domain: Resource

Plan
subclass of: Thing
subclass of: Resource
type: Class
subclass of: Entity
subclass of: Plan
definition: A p-plan:Plan is a specific type of prov:Plan. It is composed of smaller steps that use and produce Variables.

isDecomposedAsPlan
range: Thing
domain: Thing
type: ObjectProperty
definition: The p-plan:isDecomposedAsPlan relationship binds a p-plan:MultiStep to the p-plan:Plan holding the definition of that step. That is, p-plan:isDecomposedAsPlan links the MultiStep to the Plan sptecification where it is decomposed.
domain: MultiStep
range: Plan
type: Property
range: Entity
range: Resource
domain: Plan
domain: Entity
domain: Resource
domain: Step

isPrecededBy
range: Thing
domain: Thing
type: ObjectProperty
type: TransitiveProperty
comment: Property that asserts which Step preceeds the current one.
range: Step
domain: Step
type: Property
range: Resource
domain: Resource

Bundle
subclass of: Resource
subclass of: Thing
type: Class
subclass of: Entity
subclass of: Bundle
definition: A p-plan:Bundle is a specific type of prov:Bundle that contains the provenance assertions of the execution of a p-plan:Plan

Step
subclass of: Resource
subclass of: Thing
type: Class
comment: Specialization of p-plan:Step in order to be able to assert domain specific properties. A wf-invoc:Step refers to those p-plan:Steps related to the scientific workflow invocation.
subclass of: Step

The P-Plan ontology
license: http://creativecommons.org/licenses/by-nc-sa/2.0/
modified: 2014-03-12
created: 2012-11-10
creator: http://delicias.dia.fi.upm.es/members/DGarijo#me
preferred namespace prefix: p-plan
creator: http://www.isi.edu/~gil/
comment: PROV extension for linking Plans and parts of plans to their respective executions. Created by Daniel Garijo and Yolanda Gil
type: NamedIndividual
type: Ontology
version info: 1.3
description: PROV extension for linking Plans and parts of plans to their respective executions.
type: Thing

has Invocation Line
type: DatatypeProperty
comment: Data property used to link a wf-invoc:Step with the Literal representing the invocation line of the current Step.
domain: Step
range: Literal
type: Property
range: Resource
domain: Resource
domain: Thing

has Data Binding
type: DatatypeProperty
comment: Data property used to bind a wf-invoc:Variable with the path or URL where the data is available for the execution.
domain: Variable
range: Literal
type: Property
range: Resource
domain: Thing
domain: Resource

The Workflow Invocation Ontology
creator: http://www.isi.edu/~gil/
creator: http://www.isi.edu/~varunr/resume.html
type: Ontology
creator: http://delicias.dia.fi.upm.es/members/DGarijo/#me
license: http://creativecommons.org/licenses/by-nc-sa/2.0/
version info: 1.1
preferred namespace prefix: wf-invoc
description: Wf-invoc is a simple profile of the P-plan ontology to describe how workflow steps are invoked within a workflow execution.
created: 2013-05-17
preferred namespace uri: http://purl.org/net/wf-invocation#
comment: Workflow Invocation Ontology, an extension of P-Plan for representing the invocation of the workflow steps when submitting a template to an execution engine.
label: Workflow Invocation Ontology
imports: The P-Plan ontology

has Custom Data
type: DatatypeProperty
comment: Data property used to link a wf-invoc:Step with any particular metadata that will be used in the execution of the Step (e.g., environment requirements, memory, etc.)
domain: Step
range: Literal
type: Property
range: Resource
domain: Resource
domain: Thing

has Code Binding
type: DatatypeProperty
comment: Data property used to bind a wf-invoc:Step to the code/library/software used to execute the workflow step.
domain: Step
range: string
type: Property
range: Resource
domain: Resource
domain: Thing