PROV extension for linking Plans and parts of plans to their respective executions. Created by Daniel Garijo and Yolanda Gil
The P-Plan ontology
PROV extension for linking Plans and parts of plans to their respective executions.
correspondsToStep
p-plan:correspondsToStep links a p-plan:Activity to its planned p-plan:Step
correspondsToVariable
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.
hasInputVar
p-plan:hasInputVar binds a p-plan:Step to the p-plan:Variable that takes as input for the planned execution
hasOutputVar
p-plan:hasOutputVar binds a p-plan:Step to the p-plan:Variable that will be produced as output in the planned execution
isDecomposedAsPlan
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.
isInputVarOf
p-plan:isInputVarOf links an input variable of a step to the step.
isOutputVarOf
p-plan:isOutputVarOf is intended to link an output variable of a step to the step.
isPrecededBy
Property that asserts which Step preceeds the current one.
isStepOfPlan
p-plan:isStepOfPlan links a p-plan:Step to the p-plan:Plan which it corresponds to.
isSubPlanOfPlan
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.
isVariableofPlan
p-plan:IsVariableOfPlan binds a p-plan:Variable to the p-plan:Plan it corresponds to.
Activity
A p-plan:Activity represents the execution process planned in a p-plan:Step
Bundle
A p-plan:Bundle is a specific type of prov:Bundle that contains the provenance assertions of the execution of a p-plan:Plan
Entity
A p-plan:Entity represents the input of the execution of a p-plan:Activity. It corresponds to a p-plan:Variable.
MultiStep
A multi step is the representation of a plan that appears as a step of another plan.
Plan
A p-plan:Plan is a specific type of prov:Plan. It is composed of smaller steps that use and produce Variables.
Step
A p-plan:Step represents the planned execution activity
Variable
A p-plan:Variable represents a description of the input of the planned Activity (p-plan:Step)