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