event

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: bfo:occurrent

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › event

Direct subclasses:

• failure event
• tracking event

Definition

phenomena (process or process boundary) that is recognized by an agent and typically recorded

Examples

• a machine failure event, the amount of cells in a bioreactor reaches a certain threshold

Counter-Examples

• an event in discrete event simulation is too generic and that notion of event is just BFO:Occurrent

Adapted From

• Oxford Languages, term by the same name

Primitive Class

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

Primitive Rationale

More conditions (differentia) need to be agreed upon by the domain experts as not all occurrents recognized by an agent are events.

Formal Axioms

First-Order Logic Axioms

Event(x) → (Process(x) ∨ ProcessBoundary(x)) ∧ ∃y(Agent(y) ∧ recognizedByAtSomeTime(x,y))

Semi-Formal Natural Language Axioms

if x is an ‘event’ then x is a ‘process’ or ‘process boundary’ and there is some ‘agent’ that ‘recognizes at some time’ x

Description Logic

constr:Event ⊑ bfo:occurrent

constr:Event ⊑ bfo:process ⊔ bfo:process_boundary

constr:Event ⊑ ∃ constr:recognizedByAtSomeTime .constr:Agent

SubClassOf: bfo:occurrent

SubClassOf: bfo:process or bfo:process_boundary

SubClassOf: constr:recognizedByAtSomeTime some constr:Agent