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
a capability enables another capability only if realization of the first capability implies realization of the second 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
Examples
- the cutting capability of an installed drill bit enables the hole-making capability of a drilling machine
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 (realizes(p1, c1) → ∃p2 realizes(p2, c2))