equipment role

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

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

SubClass Of: bfo:role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › equipment role

Direct subclasses:

Definition

role held by a material artifact or an engineered system when it is planned to be involved in or is involved in carrying out some part of a planned process and that is not consumed in that planned process

Explanatory Notes

  1. By including in the definition that the material artifact or engineered system is not consumed in the process, the equipment role intentionally excludes entities such as consumables and reagents, which should be modeled separately.

  2. In the definition, “utilized for carrying out” implies that the function of the given material artifact or the engineered system needs to be realized in the process. That is, entities with the equipment role should not passively participate in the prescribed process. This differentiates ‘material entities with the equipment role’ (a piece of equipment) from material entities that are acted upon (transformed or modified) in the given process.

Examples

  • role of a wrench when it is used in the maintenance process of a car; role of a chromatography column that is planned to be used in a protein purification process; role of a truck that is used to transport goods to the buyer; role of a single-use bioreactor when it is planned to be used in the upstream phase of a biomanufacturing process

Adapted From

  • adapted from Oxford Languages, term by the name ‘equipment’

Primitive Class

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

Primitive Rationale

There are insufficient constructs to define necessary and sufficient conditions. Namely, patterns for utilized in carrying out and not consumed need to be developed further.

Formal Axioms

First-Order Logic Axioms 

LA1: EquipmentRole(x) → ∀y (hasRealization(x,y) → (PlannedProcess(y) ∧ ∃f (Function(f) ∧ realizes(y,f) ∧ ∃z ((EngineeredSystem(z) ∨ MaterialArtifact(z)) ∧ functionOf(f,z)))))

LA2: EquipmentRole(x) → ∀y (roleOf(x,y) → (EngineeredSystem(y) ∨ MaterialArtifact(y)))

LA3: EquipmentRole(x) → ∃y ( roleOf(x,y) ∧ (EngineeredSystem(y) ∨ MaterialArtifact(y)) ∧ ∃z ( prescribedBy(y,z) ∧ ( PlanSpecification(z) ∨ ∃p ( PlanSpecification(p) ∧ continuantPartOfAtAllTimes(z,p) ) ) ) )

Semi-Formal Natural Language Axioms

LA1: if x is an ‘equipment role’ then whenever x ‘has realization’ y, y is a ‘planned process’ that ‘realizes’ some ‘function’ that is ‘function of’ some ‘engineered system’ or ‘material artifact’

LA2: if x is an ‘equipment role’ then whenever x ‘role of’ y, y must be an ‘engineered system’ or a ‘material artifact’

LA3: if x is an ‘equipment role’ then x is ‘role of’ some y such that y is an ‘engineered system’ or a ‘material artifact’, and y is ‘prescribed by’ some entity that is either a ‘plan specification’ or something that is ‘continuant part of at all times’ some ‘plan specification’

Description Logic

constr:EquipmentRole ⊑ bfo:role

constr:EquipmentRole ⊑ ∀ bfo:has_realization .(constr:PlannedProcess ⊓ ∃ bfo:realizes .(bfo:function ⊓ ∃ constr:functionOf .(constr:EngineeredSystem ⊔ constr:MaterialArtifact)))

constr:EquipmentRole ⊑ ∀ constr:roleOf .(constr:EngineeredSystem ⊔ constr:MaterialArtifact)

constr:EquipmentRole ⊑ ∃ constr:roleOf .((constr:EngineeredSystem ⊔ constr:MaterialArtifact) ⊓ ∃ constr:prescribedBy .(constr:PlanSpecification ⊔ ∃ bfo:continuant_part_of_at_all_times .constr:PlanSpecification))

SubClassOf: bfo:role

SubClassOf: bfo:has_realization only (constr:PlannedProcess and bfo:realizes some (bfo:function and constr:functionOf some (constr:EngineeredSystem or constr:MaterialArtifact)))

SubClassOf: constr:roleOf only (constr:EngineeredSystem or constr:MaterialArtifact)

SubClassOf: constr:roleOf some ((constr:EngineeredSystem or constr:MaterialArtifact) and constr:prescribedBy some (constr:PlanSpecification or bfo:continuant_part_of_at_all_times some constr:PlanSpecification))