Unified Foundational Ontology - B
type: Ontology
version IRI: http://onto.fel.cvut.cz/ontologies/ufo-b/1.0.1
imports: http://onto.fel.cvut.cz/ontologies/ufo-a/1.0.1
created: 16.11.2017
creator: petr-kremen
description: The ontology aims at formalize basic notions of the Unified Foundational Ontology, part B - Events.
rights: https://creativecommons.org/licenses/by-sa/4.0
status: Ontology Specification
preferred namespace prefix: ufo
preferred namespace uri: http://onto.fel.cvut.cz/ontologies/ufo/
prior version: http://onto.fel.cvut.cz/ontologies/ufo-b/1.0.0
version info: 1.0.1

activates
type: ObjectProperty
domain: Situation
range: Disposition

Axiom
annotated source: activates
annotated property: domain
annotated target: Situation
axiom: a20

Axiom
annotated source: activates
annotated property: range
annotated target: Disposition
axiom: a34

brings about
type: ObjectProperty
domain: Event
range: Situation

Axiom
annotated source: brings about
annotated property: domain
annotated target: Event
axiom: a17

Axiom
annotated source: brings about
annotated property: range
annotated target: Situation
axiom: a31
axiom: a52-part2

causes
type: ObjectProperty
domain: Event
range: Event

Axiom
annotated source: causes
annotated property: domain
annotated target: Event
axiom: a18

Axiom
annotated source: causes
annotated property: range
annotated target: Event
axiom: a32

depends on
type: ObjectProperty
sub property of: exclusively depends on
domain: Atomic Event
range: object

Axiom
annotated source: depends on
annotated property: subPropertyOf
annotated target: exclusively depends on
axiom: a71
contributes-to-necessary-condition-for: P2

Axiom
annotated source: depends on
annotated property: domain
annotated target: Atomic Event
axiom: a14

Axiom
annotated source: depends on
annotated property: range
annotated target: object
axiom: a28
axiom: a49-part2

directly causes
type: ObjectProperty
sub property of: causes
domain: Event
range: Event

Axiom
annotated source: directly causes
annotated property: subPropertyOf
annotated target: causes
axiom: a11

Axiom
annotated source: directly causes
annotated property: domain
annotated target: Event
axiom: a19

Axiom
annotated source: directly causes
annotated property: range
annotated target: Event
axiom: a33

exclusively depends on
type: ObjectProperty
equivalent property: is participation of
domain: Participation
range: object

Axiom
annotated source: exclusively depends on
annotated property: equivalentProperty
annotated target: is participation of
is-necessary-condition-for: P5
is-sufficient-condition-for: P5

Axiom
annotated source: exclusively depends on
annotated property: domain
annotated target: Participation
axiom: a24

Axiom
annotated source: exclusively depends on
annotated property: range
annotated target: object
axiom: a38
axiom: a55-part2
contributes-to-necessary-condition-for: P4

has begin point
type: ObjectProperty
domain: Event
range: Time Point

Axiom
annotated source: has begin point
annotated property: domain
annotated target: Event
axiom: a22

Axiom
annotated source: has begin point
annotated property: range
annotated target: Time Point
axiom: a36
axiom: a53-part2

has end point
type: ObjectProperty
domain: Event
range: Time Point

Axiom
annotated source: has end point
annotated property: domain
annotated target: Event
axiom: a23

Axiom
annotated source: has end point
annotated property: range
annotated target: Time Point
axiom: a37
axiom: a54-part2

has event part
type: ObjectProperty
sub property of: has-part
sub property of: mereologically overlaps
inverse of: is event part of
domain: Event
range: Event

Axiom
annotated source: has event part
annotated property: subPropertyOf
annotated target: mereologically overlaps
axiom: a66-part1
axiom: a66-part2
contributes-to-sufficient-condition-for: M7

Axiom
annotated source: has event part
annotated property: domain
annotated target: Event
axiom: a13

Axiom
annotated source: has event part
annotated property: range
annotated target: Event
axiom: a27
axiom: a48-part2

has participant
type: ObjectProperty
inverse of: is participant of
domain: Event
range: object

has post situation
type: ObjectProperty
domain: Event
range: Situation

has pre situation
type: ObjectProperty
domain: Event
range: Situation

is event part of
type: ObjectProperty
sub property of: is-part-of
sub property of: mereologically overlaps
domain: Event
range: Event

Axiom
annotated source: is event part of
annotated property: subPropertyOf
annotated target: mereologically overlaps
axiom: a66-part2
contributes-to-sufficient-condition-for: M7
comment: a66-part3

is manifested by
type: ObjectProperty
domain: Disposition
range: Atomic Event

Axiom
annotated source: is manifested by
annotated property: domain
annotated target: Disposition
axiom: a21
axiom: a60-part2
contributes-to-necessary-condition-for: D2
contributes-to-sufficient-condition-for: D2

Axiom
annotated source: is manifested by
annotated property: range
annotated target: Atomic Event
axiom: a35

is participant of
type: ObjectProperty
domain: object
range: Event

is participation of
type: ObjectProperty
sub property of: has participant
domain: Participation
range: object

Axiom
annotated source: exclusively depends on
annotated property: equivalentProperty
annotated target: is participation of
is-necessary-condition-for: P5
is-sufficient-condition-for: P5

Axiom
annotated source: is participation of
annotated property: domain
annotated target: Participation
axiom: a25

Axiom
annotated source: is participation of
annotated property: range
annotated target: object
axiom: a39
axiom: a56-part2

is snapshot of
type: ObjectProperty
domain: Object Snapshot
range: object

mereologically overlaps
type: ObjectProperty

obtains in
type: ObjectProperty
domain: Situation
range: Time Point

Axiom
annotated source: obtains in
annotated property: domain
annotated target: Situation
axiom: a15
axiom: a58-part2

Axiom
annotated source: obtains in
annotated property: range
annotated target: Time Point
axiom: a29
axiom: a50-part2
axiom: a51-part2

triggers
type: ObjectProperty
domain: Situation
range: Event

Axiom
annotated source: triggers
annotated property: domain
annotated target: Situation
axiom: a16
axiom: a59-part2

Axiom
annotated source: triggers
annotated property: range
annotated target: Event
axiom: a30

Atomic Event
type: Class
subclass of: Event
subclass of: Class
subclass of: Restriction
disjoint with: Complex Event

Restriction
on property: depends on
cardinality: 1

Restriction
on property:
  inverse of: is manifested by
cardinality: 1

Axiom
annotated source: Atomic Event
annotated property: subClassOf
annotated target: Event
axiom: a08
axiom: a61-part1
axiom: a62-part1
contributes-to-necessary-condition-for: M1

Axiom
annotated source: Atomic Event
annotated property: subClassOf
annotated target: Class
axiom: a61-part2
axiom: a62-part2
contributes-to-necessary-condition-for: M1

Axiom
annotated source: Atomic Event
annotated property: subClassOf
annotated target: Restriction
axiom: a49-part1
is-necessary-condition-for: P1
is-sufficient-condition-for: P1

Axiom
annotated source: Atomic Event
annotated property: subClassOf
annotated target: Restriction
axiom: a60-part1
contributes-to-necessary-condition-for: D2
contributes-to-sufficient-condition-for: D2

Axiom
annotated source: Atomic Event
annotated property: disjointWith
annotated target: Complex Event
axiom: a45
contributes-to-necessary-condition-for: M2
contributes-to-sufficient-condition-for: M2

Complex Event
type: Class
subclass of: Event
subclass of: Restriction

Restriction
on property: has event part
min cardinality: 2

Axiom
annotated source: Complex Event
annotated property: subClassOf
annotated target: Event
axiom: a09

Axiom
annotated source: Complex Event
annotated property: subClassOf
annotated target: Restriction
axiom: a48-part1

Axiom
annotated source: Atomic Event
annotated property: disjointWith
annotated target: Complex Event
axiom: a45
contributes-to-necessary-condition-for: M2
contributes-to-sufficient-condition-for: M2

Disposition
type: Class
subclass of: trope

Axiom
annotated source: Disposition
annotated property: subClassOf
annotated target: trope
axiom: a06
contributes-to-necessary-condition-for: D1
contributes-to-sufficient-condition-for: D1

Axiom
annotated source: endurant
annotated property: disjointWith
annotated target: Perdurant
axiom: a41-part1

Event
type: Class
subclass of: Perdurant
subclass of: Class
subclass of: Restriction
definition: An event, perdurant in the ontological sense. Events do not change its properties over time.
example: Event *has participant* an object. Event *is part of* another event. Event *is followed by* another event. Event *is caused by/contributes to/mitigates* another event.
scope note: - a *flight* is an event which describes the course of aircraft movement ground-air-ground, - a *runway incursion* is an event which describes incorrect presence of an object on the runway

Restriction
on property: brings about
cardinality: 1

Restriction
on property: has begin point
cardinality: 1

Restriction
on property: has end point
cardinality: 1

Restriction
on property:
  inverse of: triggers
cardinality: 1

Axiom
annotated source: Event
annotated property: subClassOf
annotated target: Perdurant
axiom: a02-part1
axiom: a41-part2

Axiom
annotated source: Event
annotated property: subClassOf
annotated target: Class
axiom: a46
contributes-to-necessary-condition-for: M2
contributes-to-sufficient-condition-for: M2

Axiom
annotated source: Event
annotated property: subClassOf
annotated target: Restriction
axiom: a52-part1

Axiom
annotated source: Event
annotated property: subClassOf
annotated target: Restriction
axiom: a53-part1

Axiom
annotated source: Event
annotated property: subClassOf
annotated target: Restriction
axiom: a54-part1

Axiom
annotated source: Event
annotated property: subClassOf
annotated target: Restriction
axiom: a59-part1

Fact
type: Class
subclass of: Situation
subclass of: Restriction

Restriction
on property: obtains in
cardinality: 1

Axiom
annotated source: Fact
annotated property: subClassOf
annotated target: Situation
axiom: a07

Axiom
annotated source: Fact
annotated property: subClassOf
annotated target: Restriction
axiom: a51-part1

Axiom
annotated source: individual
annotated property: disjointWith
annotated target: Time Point
axiom: a40

Object change event
type: Class
subclass of: Participation

Object creation event
type: Class
subclass of: Participation

Object destruction event
type: Class
subclass of: Participation

Object Snapshot
type: Class
subclass of: Perdurant
subclass of: Restriction
  on property: is-part-of
  some values from: Situation
subclass of: Restriction
  on property: is snapshot of
  some values from: object
definition: Object Snapshot is a immutable state description of an object within a situation. Object Snapshot and an Object share the attribute types and relation types of their identifying objects. Object serve only for identification purpose.
example: - an object snapshot *is identified by* an object - a situation *has part* an object snapshot
scope note: - * Aircraft OK-123, just before landing 1.1.2014 at 18.00* is a snapshot of the aircraft containing the setting of its controls and conditions of the its technical systems. Another snapshot *Aircraft OK-123, just before takeoff 1.1.2014 at 9.00* might have completely different state of controls and conditions. In both cases, however, we speak about the same aircraft (same object).

Participation
type: Class
subclass of: Event
subclass of: Restriction
  on property: is participation of
  some values from: object

Restriction
on property: exclusively depends on
cardinality: 1

Restriction
on property: is participation of
cardinality: 1

Axiom
annotated source: Participation
annotated property: subClassOf
annotated target: Event
axiom: a10
contributes-to-necessary-condition-for: P4

Axiom
annotated source: Participation
annotated property: subClassOf
annotated target: Restriction
axiom: a55-part1
contributes-to-necessary-condition-for: P4

Axiom
annotated source: Participation
annotated property: subClassOf
annotated target: Restriction
axiom: a56-part1

Perdurant
type: Class
subclass of: individual

Axiom
annotated source: Perdurant
annotated property: subClassOf
annotated target: individual
axiom: a02-part2

Axiom
annotated source: endurant
annotated property: disjointWith
annotated target: Perdurant
axiom: a41-part1

Situation
type: Class
subclass of: Perdurant
subclass of: Restriction
definition: Situation is a snapshot of object states valid in the given temporal range. The states involve trope values and relator values. Since most relators will not be reified and will be modeled in terms of the binary properties only, separation of object snapshot identity will not be solved at this point. Thus, situation will play a role of a context (higher-level construct) of statements about objects.

Restriction
on property: obtains in
max cardinality: 1

Axiom
annotated source: Situation
annotated property: subClassOf
annotated target: Restriction
axiom: a50-part1

Time Point
type: Class
subclass of: entity
subclass of: Restriction

Axiom
annotated source: Time Point
annotated property: subClassOf
annotated target: Restriction
axiom: a58-part1

Axiom
annotated source: individual
annotated property: disjointWith
annotated target: Time Point
axiom: a40

Axiom
annotated source: Class
  intersection of: Event
  intersection of: Class
    complement of: Restriction
      on property: has event part
      some values from: Event
  subclass of: Atomic Event
annotated property: subClassOf
annotated target: Atomic Event
axiom: a62
is-sufficient-condition-for: M1

Axiom
annotated source: Class
  intersection of: Event
  intersection of: Restriction
    on property: exclusively depends on
    cardinality: 1
  subclass of: Participation
annotated property: subClassOf
annotated target: Participation
axiom: a72
is-sufficient-condition-for: P4

Axiom
annotated source: Class
  intersection of: Situation
  intersection of: Restriction
    on property: obtains in
    some values from: Time Point
  subclass of: Fact
annotated property: subClassOf
annotated target: Fact
axiom: a93

Imp
contributes-to-sufficient-condition-for: P2
body: ClassAtom
  class predicate: Atomic Event
  argument1: e
body: ClassAtom
  class predicate: object
  argument1: o
body: IndividualPropertyAtom
  property predicate: exclusively depends on
  argument1: e
  argument2: o
head: IndividualPropertyAtom
  property predicate: depends on
  argument1: e
  argument2: o

Imp
axiom: a63
is-necessary-condition-for: M3
is-sufficient-condition-for: M3
body: ClassAtom
  class predicate: Complex Event
  argument1: e
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e1
  argument2: e2
head: DifferentIndividualsAtom
  argument1: e1
  argument2: e2

Imp
is-necessary-condition-for: M4
body: ClassAtom
  class predicate: Complex Event
  argument1: e1
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e1
  argument2: e2
body: ClassAtom
  class predicate: Complex Event
  argument1: e2
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e2
  argument2: e3
head: DifferentIndividualsAtom
  argument1: e1
  argument2: e3

Imp
is-necessary-condition-for: M3
is-sufficient-condition-for: M3
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e
  argument2: e
head: ClassAtom
  class predicate: Class
    complement of: Complex Event
  argument1: e

Imp
contributes-to-sufficient-condition-for: P3
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e
  argument2: e1
body: IndividualPropertyAtom
  property predicate: exclusively depends on
  argument1: e1
  argument2: o
head: IndividualPropertyAtom
  property predicate: exclusively depends on
  argument1: e
  argument2: o

Imp
contributes-to-necessary-condition-for: P3
body: IndividualPropertyAtom
  property predicate: exclusively depends on
  argument1: e
  argument2: o
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e
  argument2: e1
head: IndividualPropertyAtom
  property predicate: exclusively depends on
  argument1: e1
  argument2: o

Imp
axiom: a95
swrl: true
body: IndividualPropertyAtom
  property predicate: causes
  argument1: e1
  argument2: e2
body: IndividualPropertyAtom
  property predicate: causes
  argument1: e2
  argument2: e3
head: IndividualPropertyAtom
  property predicate: causes
  argument1: e1
  argument2: e3

Imp
is-sufficient-condition-for: M4
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e1
  argument2: e2
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e2
  argument2: e1
head: ClassAtom
  class predicate: Class
    complement of: Complex Event
  argument1: e1

Imp
contributes-to-sufficient-condition-for: M7
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e1
  argument2: e2
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: e3
  argument2: e2
head: IndividualPropertyAtom
  property predicate: mereologically overlaps
  argument1: e1
  argument2: e3

Imp
is-necessary-condition-for: M5
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: x
  argument2: y
body: IndividualPropertyAtom
  property predicate: has event part
  argument1: y
  argument2: z
head: IndividualPropertyAtom
  property predicate: has event part
  argument1: x
  argument2: z