modulates

IRI: https://spec.industrialontologies.org/ontology/construct/modulates

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

Range: bfo:process

Definition

relation between a process and another process that holds when the first overlaps the second in time and every state changing temporal part of the first causes some temporal part of the second

Semi-Formal Definition:

p ‘modulates’ q if and only if p ‘temporally overlaps’ q and, whenever a temporal part q’ of q ‘temporally overlaps’ p, some temporal part p’ of p ‘causes’ q’

Examples

• jacket-temperature profile modulates a reactor heating process; valve-position profile modulates a tank filling process; pump-speed profile modulates a liquid transfer process; ambient-temperature profile modulates a material-temperature profile; relative-humidity profile modulates a moisture-content profile of a drying material; applied-force profile modulates a deformation profile of a workpiece

Formal Axioms

First-Order Logic Definition

∀p,q(modulates(p,q) ↔ (temporallyOverlaps(p,q) ∧ ∀q'((temporalPartOf(q',q) ∧ temporallyOverlaps(q',p)) → ∃p'(temporalPartOf(p',p) ∧ causes(p',q')))))

Description Logic

constr:modulates ⊑ _:topObjectProperty

domain: bfo:process ⊓ ¬ constr:MaterialState

range: bfo:process

SubPropertyOf: _:topObjectProperty

domain: bfo:process and not constr:MaterialState

range: bfo:process