Permanent link to this class
IOF Core
loading...| Preferred Name |
event |
| Definitions |
phenomena (process or process boundary) that is recognized by an agent and typically recorded |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/Event |
| adapted from |
Oxford Languages, term by the same name |
| counter example |
an event in discrete event simulation is too generic and that notion of event is just BFO:Occurrent |
| definition |
phenomena (process or process boundary) that is recognized by an agent and typically recorded |
| example |
a machine failure event, the amount of cells in a bioreactor reaches a certain threshold |
| first-order logic axiom |
Event(x) → (Process(x) ∨ ProcessBoundary(x)) ∧ ∃y(Agent(y) ∧ recognizedByAtSomeTime(x,y)) |
| is defined by | |
| is primitive |
true |
| label |
event |
| maturity |
https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/Provisional |
| natural language definition |
phenomena (process or process boundary) that is recognized by an agent and typically recorded |
| prefixIRI |
iof-core:Event |
| prefLabel |
event |
| primitive rationale |
More conditions (differentia) need to be agreed upon by the domain experts as not all occurrents recognized by an agent are events. |
| semi-formal natural language axiom |
if x is an 'event' then x is a 'process' or 'process boundary' and there is some 'agent' that 'recognizes at some time' x |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |