Changes in maintenance/Maintenance.rdf
Changed
Classes
QualifiedMaintenancePerson
- IRI:
https://spec.industrialontologies.org/ontology/construct/QualifiedMaintenancePerson
Axioms
constr:QualifiedMaintenancePerson ≡ constr:Person ⊓ ∃ bfo:participates_in_at_some_time .constr:MaintenanceActivity ⊓ ∃ constr:satisfiesRequirement .(constr:QualificationSpecification ⊓ ∃ constr:prescribes .constr:MaintenanceActivity)
constr:QualifiedMaintenancePerson ≡ constr:Person ⊓ ∃ bfo:participates_in .constr:MaintenanceActivity ⊓ ∃ constr:satisfiesRequirement .(constr:QualificationSpecification ⊓ ∃ constr:prescribes .constr:MaintenanceActivity)
RequiredFunction
- IRI:
https://spec.industrialontologies.org/ontology/construct/RequiredFunction
Axioms
constr:RequiredFunction ⊑ ∃ bfo:participates_in_at_some_time .constr:FunctioningProcess ⊓ ∃ constr:functionOf .constr:MaintainableMaterialItem
constr:RequiredFunction ⊑ ∃ bfo:participates_in .constr:FunctioningProcess ⊓ ∃ constr:functionOf .constr:MaintainableMaterialItem
Object Properties
hasMaintenanceState
- IRI:
https://spec.industrialontologies.org/ontology/construct/hasMaintenanceState
Axioms
hasMaintenanceState) ⊑ bfo:participates_in_at_some_time([constr:hasMaintenanceState](https://spec.industrialontologies.org/ontology/construct/hasMaintenanceState) ⊑ bfo:participates_in_at_some_time)
hasMaintenanceState) ⊑ bfo:participates_in([constr:hasMaintenanceState](https://spec.industrialontologies.org/ontology/construct/hasMaintenanceState) ⊑ bfo:participates_in)