control capability

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

Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaEquipment/

SubClass Of: capability

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › control capability

Direct subclasses:

• agitation rate controlling capability
• dissolved oxygen controlling capability
• flow rate controlling capability
• foam level controlling capability
• pH controlling capability
• pressure controlling capability
• temperature controlling capability

Definition

capability of a material artifact, agent, or engineered system to carry out control during a planned process

Examples

• the control capability of a bioreactor control system to carry out pH control during a production culture; the control capability of a mass-flow controller to carry out gas-flow control during aeration;

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient constructs in the ontology to create necessary and sufficient conditions.

Formal Axioms

First-Order Logic Axioms

ControlCapability(x) → Capability(x) ∧ ∃b((MaterialArtifact(b) ∨ Agent(b) ∨ EngineeredSystem(b)) ∧ capabilityOf(x,b)) ∧ ∀p(hasRealization(x,p) → PlannedProcess(p))

Semi-Formal Natural Language Axioms

if x is a ‘control capability’ then x is a ‘capability’ that is the ‘capability of’ some entity that is a ‘material artifact’, an ‘agent’, or an ‘engineered system’, and whenever some p ‘realizes’ x, p is a ‘planned process’

Description Logic

constr:ControlCapability ⊑ constr:Capability

constr:ControlCapability ⊑ ∀ bfo:has_realization .constr:PlannedProcess

constr:ControlCapability ⊑ ∃ constr:capabilityOf .(constr:Agent ⊔ constr:EngineeredSystem ⊔ constr:MaterialArtifact)

SubClassOf: constr:Capability

SubClassOf: bfo:has_realization only constr:PlannedProcess

SubClassOf: constr:capabilityOf some (constr:Agent or constr:EngineeredSystem or constr:MaterialArtifact)