failure effect

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

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

SubClass Of: bfo:process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › failure effect

Definition

process that is the consequence of failure, within or beyond the boundary of the failed item

Usage Notes

Failure effect does not make any commitments to what types of BFO:process can or cannot be considered effects of (functional) failure. Therefore, failure effect can classify any BFO:process (part or whole), indicating that the process is considered the result of a failure for the purposes of maintenance.

Examples

• leaking pipe, erratic operation, equipment does not run

Primitive Class

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

Primitive Rationale

it is not possible to determine that a process is a failure effect from the ontology alone and requires external analysis to identify such an occurrence.

Formal Axioms

First-Order Logic Axioms

FailureEffect(x) → Process(x) ∧ ∃f((FailureEvent(f) ∨ FailureProcess(f)) ∧ precededBy(x, f))

Semi-Formal Natural Language Axioms

if x is a ‘failure effect’ then x is a ‘process’ that is ‘preceded by’ some ‘failure event’ or ‘failure process’

Description Logic

constr:FailureEffect ⊑ bfo:process

constr:FailureEffect ⊑ ∃ bfo:preceded_by .(constr:FailureEvent ⊔ constr:FailureProcess)

SubClassOf: bfo:process

SubClassOf: bfo:preceded_by some (constr:FailureEvent or constr:FailureProcess)