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

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

correspondsToVariable
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

hasInputVar
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

hasOutputVar
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

isDecomposedAsPlan
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

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

isOutputVarOf
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

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

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

isSubPlanOfPlan
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

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

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

Bundle
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

Entity
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.

MultiStep
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.

Plan
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.

Step
type: Class
definition: A p-plan:Step represents the planned execution activity

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