]> 2012-11-10 2014-03-12 http://delicias.dia.fi.upm.es/members/DGarijo#me http://www.isi.edu/~gil/ 1.3 PROV extension for linking Plans and parts of plans to their respective executions. Created by Daniel Garijo and Yolanda Gil The P-Plan ontology http://purl.org/net/p-plan# PROV extension for linking Plans and parts of plans to their respective executions. p-plan http://creativecommons.org/licenses/by-nc-sa/2.0/ 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)