enables
IRI: https://spec.industrialontologies.org/ontology/construct/enables
Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/
Type: Object Property
Domain: capability
Range: capability
Inverse Of: enabled by
Definition
capability enables another capability implies that either the realization of the first capability implies the realization of the second capability or the realization of the second capability implies the realization of the first capability.
Semi-Formal Definition:
if c1 ‘enables’ c2, then there exist processes p1 and p2 such that p1 ‘realizes’ c1 implies p2 ‘realizes’ c2, or p2 ‘realizes’ c2 implies p1 ‘realizes’ c1
Primitive Property
This property is declared primitive — no complete necessary and sufficient formal definition is provided.
This property is included to define ‘operator role’ but it is part of the set of construct for modeling the combined or emergent capability of systems stemming from capabilities of its sub-systems (components). THe other constructs are not completely developed yet and it is not decided which IOF module they will be part of.
Formal Axioms
First-Order Logic Definition
enables(c1, c2) → ∃p1 ∃p2 ((realizes(p1, c1) → realizes(p2, c2)) ∨ (realizes(p2, c2) → realizes(p1, c1)))