qualified maintenance person
IRI: https://spec.industrialontologies.org/ontology/construct/QualifiedMaintenancePerson
Defined In: https://spec.industrialontologies.org/ontology/maintenance/Maintenance/
SubClass Of: person
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object › person › qualified maintenance person
Definition
person who is qualified to perform a specified specified maintenance activity
Semi-Formal Definition:
every instance of ‘qualified maintenance person’ is defined as exactly an instance of ‘person’ that ‘participates in at some time’ some ‘maintenance activity’ p and that ‘satifies’ some ‘qualification specification’ that ‘prescribes’ p
Explanatory Notes
Qualified person on its own is not particularly useful unless reasoning is constrained to only the individuals of interest at some time. Specific subtypes of qualified person are necessary to determine if specific qualification types are satisfied. Still, care must be taken when reasoning over temporal information as, if the critieria are met at some time, the classification will hold.
Examples
- electrician, fitter, mechanic
Formal Axioms
First-Order Logic Definition
QualifiedMaintenancePerson(x) ↔ Person(x) ∧ ∃y(MaintenanceActivity(y) ∧ partcipatesInAtSomeTime(x,y) ∧ ∃z(QualificationSpecification(z) ∧ prescribedBy(y, z) ∧ satisfiesRequirement(x,z)))
Description Logic
constr:QualifiedMaintenancePerson ≡ constr:Person ⊓ ∃ bfo:participates_in .constr:MaintenanceActivity ⊓ ∃ constr:satisfiesRequirement .(constr:QualificationSpecification ⊓ ∃ constr:prescribes .constr:MaintenanceActivity)
EquivalentTo: constr:Person and bfo:participates_in some constr:MaintenanceActivity and constr:satisfiesRequirement some (constr:QualificationSpecification and constr:prescribes some constr:MaintenanceActivity)
SubClassOf: constr:Person