maintenance work order record
IRI: https://spec.industrialontologies.org/ontology/construct/MaintenanceWorkOrderRecord
Defined In: https://spec.industrialontologies.org/ontology/maintenance/Maintenance/
SubClass Of: information content entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › maintenance work order record
Definition
information content entity that describes a maintenance process
Semi-Formal Definition:
every instance of ‘maintenance work order’ is defined as exactly an instance of ‘information content entity’ that ‘describes’ some ‘maintenance process’ p and that ‘is input of’ p
Explanatory Notes
the record has a number of commonly used fields including dates, task description, task codes, costs
this definition remains provisional because it assumes that a work order must involve a ‘maintenance process’. In the current definition, a work order cannot be made up of purely ‘supporting maintenance activity’ tasks.
Examples
- a record in a (computerised) maintenance management system that contains fields for due and actual date of the maintenance, a description of the maintenance task, actual and budget costs and other fields
Synonyms
- maintenance work order
Formal Axioms
First-Order Logic Definition
MaintenanceWorkOrderRecord(x) ↔ InformationContentEntity(x) ∧ ∃y(MaintenanceProcess(y) ∧ describes(x, y) ∧ isInputOf(x, y))
Description Logic
constr:MaintenanceWorkOrderRecord ≡ constr:InformationContentEntity ⊓ ∃ constr:describes .constr:MaintenanceProcess ⊓ ∃ constr:isInputOf .constr:MaintenanceProcess
constr:MaintenanceWorkOrderRecord ⊑ constr:InformationContentEntity
EquivalentTo: constr:InformationContentEntity and constr:describes some constr:MaintenanceProcess and constr:isInputOf some constr:MaintenanceProcess
SubClassOf: constr:InformationContentEntity