maintenance process

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

Defined In: https://spec.industrialontologies.org/ontology/maintenance/Maintenance/

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › maintenance process

Direct subclasses:

• maintenance activity

Definition

process to do with retaining or restoring the function of a maintainable material item under a maintenance strategy

Examples

• process of replacing a pump, process of calibrating a sensor

Primitive Class

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

Primitive Rationale

Additional analysis to be performed, particularly w.r.t. the associated maintenance strategy.

Formal Axioms

First-Order Logic Axioms

LA1: PlannedProcess(p) ∧ (∃x(MaintenanceStrategy(x) ∧ prescribes(x, p)) → MaintenanceProcess(p)

LA2: MaintenanceProcess(p) → ∃x(MaintenanceStrategy(x) ∧ prescribes(x, p))

LA3: MaintenanceProcess(p) → ∃x(MaintainableMaterialItem(x) ∧ hasParticipantAtAllTimes(p, x) ∧ hasInput(p, x))

Semi-Formal Natural Language Axioms

LA1: if p is ‘planned process’ that is prescribed by some ‘maintenance strategy’ then x is a ‘maintenance process’

LA2: if p is ‘maintenance process’ then there is some ‘maintenance strategy’ that ‘prescribes’ p

LA3: if p is ‘maintenance process’ then there is some ‘maintainable material item’ x such that p ‘has input’ x and p ‘has participant at all times’ x

Description Logic

constr:MaintenanceProcess ⊑ constr:PlannedProcess

constr:MaintenanceProcess ⊑ ∃ bfo:has_participant_at_all_times .constr:MaintainableMaterialItem

constr:MaintenanceProcess ⊑ ∃ constr:hasInput .constr:MaintainableMaterialItem

constr:MaintenanceProcess ⊑ ∃ constr:prescribedBy .constr:MaintenanceStrategy

constr:PlannedProcess ⊓ ∃ constr:prescribedBy .constr:MaintenanceStrategy ⊑ constr:MaintenanceProcess

SubClassOf: constr:PlannedProcess

SubClassOf: bfo:has_participant_at_all_times some constr:MaintainableMaterialItem

SubClassOf: constr:hasInput some constr:MaintainableMaterialItem

SubClassOf: constr:prescribedBy some constr:MaintenanceStrategy

constr:PlannedProcess and constr:prescribedBy some constr:MaintenanceStrategy SubClassOf: constr:MaintenanceProcess