loading...| Preferred Name | PlanSpecification | |
| Synonyms |
|
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/PlanSpecification |
|
| adapted from | ||
| explanatory note |
When concretized, plan specification may be realized in a process where participants take the prescribed actions to achieve the prescribed process objectives. In other words, a plan specification is concretized in a 'planned process' that it 'prescribes' |
|
| first-order logic axiom |
InformationContentEntity(x) ∧ ∃a∃o∃p(ActionSpecification(a) ∧ ObjectiveSpecification(o) ∧ PlannedProcess(p) ∧ continuantPartOfAtAllTimes(a,x) ∧ continuantPartOfAtAllTimes(o,x) ∧ prescribes(x,p)) → PlanSpecification(x) |
|
| has continuant part at all times |
https://spec.industrialontologies.org/ontology/core/Core/ActionSpecification https://spec.industrialontologies.org/ontology/core/Core/ObjectiveSpecification |
|
| is defined by | ||
| is primitive |
true |
|
| prefixIRI |
iof:PlanSpecification iof-core:PlanSpecification |
|
| prefLabel |
PlanSpecification |
|
| primitive rationale |
See the general discussion and rationale provided for informational entities under 'information content entity'. |
|
| semi-formal natural language axiom |
if x is an 'information content entity' that 'prescribes' some 'planned process' and x 'has continuant part at all times' some 'action specification' and some 'objective specification' then x is a 'plan specification' |
|
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/InformationContentEntity |