contributes-to-sufficient-condition-for: M2

cardinality: 1

annotated target: A kind represents a substance sortal whose instances are functional complexes. Examples include instances of Natural Kinds (such as Person, Dog, Tree) and of artifacts (Chair, Car, Television).

Typ prvního řádu
type: Class
subclass of: Typ
label: First-order Type

axiom: a62-part1

contributes-to-necessary-condition-for: M2

depends on
type: ObjectProperty
domain: Atomická událost
range: Objekt
sub property of: exclusively depends on

Událost měnící objekt
type: Class
subclass of: Účast
label: Object change event

disjointly categorizes
type: ObjectProperty
definition: 'disjointly categorizes'(t,t') A variation of categorization in which the classification criteria defined by t guarantee that each instance of t’ is instance of at most one instance of t.
sub property of: categorizes

axiom: a42

contributes-to-sufficient-condition-for: D1

Unified Foundational Ontology - Powertypes
preferred namespace uri: http://onto.fel.cvut.cz/ontologies/ufo/
description: The ontology aims at formalize basic notions of multi-level modeling in the Unified Foundational Ontology.
type: Ontology
created: 16.11.2017
creator: petr-kremen
preferred namespace prefix: ufo
version info: 1.1.0
rights: https://creativecommons.org/licenses/by-sa/4.0
imports: http://onto.fel.cvut.cz/ontologies/ufo-b/1.1.0
prior version: http://onto.fel.cvut.cz/ontologies/ufo-powertypes/1.0.2
imports: http://onto.fel.cvut.cz/ontologies/ufo-a/1.1.0
status: Ontology Specification
version IRI: http://onto.fel.cvut.cz/ontologies/ufo-types/1.1.0

cardinality: 1

axiom: a41-part2

axiom: a08

is-sufficient-condition-for: P5

Objekt
scope note: - An *aircraft* is an object. - An *ATC descent procedure* is an object (formal regulation) that describes the course of a descent operation/process (event).
type: NamedIndividual
subclass of: Endurant
disjoint with: Závislý endurant
example: - An object *participates in* an event. - An object *has part* another object.
definition: Object is any identifiable endurant entity existence of which is not directly dependent on an existence of another entity.
label: Object
has-icon: object-icon-48
type: Class

axiom: a36

contributes-to-necessary-condition-for: D2

annotated target: Mixin Type represents the general properties of all mixins, i.e., non-sortals (or dispersive universals).

is-necessary-condition-for: M5

axiom: a61-part1

je částí
type: ObjectProperty
domain: Prvek
range: Prvek
label: is part of

has type
type: ObjectProperty
comment: This relation is a relationship between an individual and its type. The type is understood in the sense of UFO instance powertype.
equivalent property: is instance of
deprecated: Use is-instance-of instead

Závislý endurant
type: Class
subclass of: Endurant
definition: Trope is a property of some object/event or another trope. The trope CANNOT exist without the object/event it inheres in.
label: Trope
example: We say that: A trope *inheres in* an object.
scope note: Examples include: - *function* of a VOR beacon (property of an object), - *availability* of VOR beacon function (property of a property), - *efficiency* of a rescue operation (property of an event)

contributes-to-sufficient-condition-for: M7

axiom: a59-part2

Vlastnost
type: Class
type: NamedIndividual
subclass of: Závislý endurant
label: Intrinsic Trope
has-icon: intrinsic-trope-icon-48

cardinality: 1

Událost tvořící objekt
type: Class
subclass of: Účast
label: Object creation event

Fyzický agent
type: Class
subclass of: Agent
label: Physical agent

is-necessary-condition-for: P1

source: ofscm

cardinality: 1

axiom: a28

is-necessary-condition-for: M4

Mixin rolí
type: Class
type: NamedIndividual
source: https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models
subclass of: Antirigidní mixin
label: Role Mixin

axiom: a50-part1

axiom: a72

axiom: a52-part1

má účastníka
type: ObjectProperty
domain: Událost
range: Objekt
inverse of: je účastníkem
label: has participant

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

partitions
type: ObjectProperty
definition: partitions(t,t') A variation of categorization in which the classification criteria defined by t guarantee that each instance of t’ is instance of exactly one instance of t.
sub property of: categorizes

Antirigidní sortál
type: Class
subclass of: Typ sortálu
label: Anti Rigid Sortal

is powertype of
type: ObjectProperty
domain: Typ
range: Typ
definition: 'is powertype of'(t,t') The instances of t apply to instances of t’ but no classification criteria are defined. Thus, all specializations of t’, including t’ itself are instances of t.

is-necessary-condition-for: P5

Moment Type
type: Class
subclass of: Monadic Type
alternative label: Trope Type

swrl: true

axiom: a19

contributes-to-necessary-condition-for: M1

source: ofscm

cardinality: 1

cardinality: 1

axiom: a23

contributes-to-necessary-condition-for: P4

equals
type: ObjectProperty
domain: Událost
range: Událost
sub property of: is temporally related

Organizace
type: Class
subclass of: Agent
label: Organization

has end point
type: ObjectProperty
domain: Událost
range: Time Point

Mixin
type: Class
type: NamedIndividual
source: https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models
subclass of: Nerigidní mixin

contributes-to-sufficient-condition-for: M7

Typ endurantu
type: Class
subclass of: Typ
label: Endurant Type

is-sufficient-condition-for: P1

Antirigidní mixin
type: Class
subclass of: Nerigidní mixin
label: Anti Rigid Mixin

contributes-to-sufficient-condition-for: D1

je okamžitým stavem
type: ObjectProperty
domain: Okamžitý stav objektu
range: Objekt
label: is snapshot of

axiom: a38

má předchozí situaci
type: ObjectProperty
domain: Událost
range: Situace
label: has pre situation

swrl: true

má vlastnost
type: ObjectProperty
domain: Prvek
range: Závislý endurant
inverse of: je vlastností
label: has trope

has value: 1

axiom: a54-part1

axiom: a26

relator-type-icon-48
type: NamedIndividual
type: ContentAsBase64
has-height: 48
has-width: 48
bytes: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAMAAABg3Am1AAAABGdBTUEAALGPC/xhBQAAACBjSFJN AAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAA/FBMVEUAAAAAphQAqBIAqBIA qRMAqBMAqBIAqBIAqBIAoxUAqRIApRAAqBMApRQApQ8AkgAApBIAphMAqBIAqBIAqBEApxIAqRMA qRMApxIAqBUAmQAAqBMAphQAqBIAqBMAgAAAphIAphEAqBAAqBMAqRIAqRMApxMAqBIAqBMAgAAA [binary]
character encoding: utf-8

source: ofscm

axiom: a57-part2

axiom: a71

source: ofscm

contributes-to-necessary-condition-for: P4

axiom: a42

je manifestován
type: ObjectProperty
domain: Dispozice
range: Atomická událost
label: is manifested by

intrinsic-trope-icon-48
type: NamedIndividual
type: ContentAsBase64
has-height: 48
has-width: 48
character encoding: utf-8

Typ mixinu
type: Class
subclass of: Typ endurantu
description: Mixin Type represents the general properties of all mixins, i.e., non-sortals (or dispersive universals).
label: Mixin Type

source: ofscm

axiom: f1

má následnou situaci
type: ObjectProperty
domain: Událost
range: Situace
label: has post situation

cardinality: 1

axiom: a24

axiom: a46

axiom: a13

Typ události
type: Class
type: NamedIndividual
subclass of: Typ
label: Event Type

Unified Foundational Ontology
imports: http://onto.fel.cvut.cz/ontologies/ufo-b/1.1.0
imports: http://onto.fel.cvut.cz/ontologies/ufo-language-basic/1.0.0
creator: petr-kremen
imports: http://onto.fel.cvut.cz/ontologies/ufo-b-dispositions/1.1.0
rights: https://creativecommons.org/licenses/by-sa/4.0
version IRI: http://onto.fel.cvut.cz/ontologies/ufo/1.1.0
imports: http://onto.fel.cvut.cz/ontologies/ufo-a/1.1.0
prior version: http://onto.fel.cvut.cz/ontologies/ufo/1.0.2
imports: http://onto.fel.cvut.cz/ontologies/ufo-b-temporal/1.1
imports: http://onto.fel.cvut.cz/ontologies/ufo-c/1.1.0
type: Ontology
imports: http://onto.fel.cvut.cz/ontologies/ufo-types/1.1.0
description: Operational version of the UFO Ontology describes basic notions of UFO in terms of the Web Ontology Language, possibly extended with SWRL rules. The main goals of the ontology are (1) to provide easy way to link UFO-related terms to applications, resources, as well as multimedia, (2) to provide a computable artifact for basic reasoning and UFO-compliant data integration.
version info: 1.1
imports: http://onto.fel.cvut.cz/ontologies/ufo-language-ontouml/1.1.0
imports: http://onto.fel.cvut.cz/ontologies/ufo-language/1.0.0
status: Ontology Specification

is-necessary-condition-for: M3

axiom: a29

Atomická událost
type: Class
subclass of: Událost
disjoint with: Složená událost
label: Atomic Event

is temporally related
type: ObjectProperty

axiom: a91

Typ
type: Class
source: ontological-foundations-for-structural-conceptual-models
alternative label: Universal
subclass of: Objekt
label: Type
alternative label: Univerzál
subclass of: Prvek
definition: A type is a class instances of which are all types of all levels. Type and Individual form a partition on the Entity class.

axiom: a56-part2

Typ módu
type: Class
source: ontological-foundations-for-structural-conceptual-models
subclass of: Typ vlastnosti
label: Mode Type

Endurant
type: Class
source: ontological-foundations-for-structural-conceptual-models
subclass of: Prvek
definition: Endurant je prvek jenž existuje v čase. Enduranty se mohou účastnit událostí a mít závislé prvky.
definition: Endurant is an entity existing in time. Endurants participate in events and can have tropes. Theirs state can change over time.
disjoint with: Perdurant

axiom: a66-part2

is-sufficient-condition-for: P4

axiom: a34

trope inheres in object
type: ObjectProperty
domain: Závislý endurant
range: Objekt
sub property of: trope inheres in endurant

Unified Foundational Ontology - Basic Language
preferred namespace prefix: ufo
type: Ontology
rights: https://creativecommons.org/licenses/by-sa/4.0
prior version: http://onto.fel.cvut.cz/ontologies/ufo-language-basic/1.0.0
creator: petr-kremen
description: The ontology aims at formalize the basic language for UFO-compliant annotation of entities.
version IRI: http://onto.fel.cvut.cz/ontologies/ufo-language-basic/1.0.1
imports: http://onto.fel.cvut.cz/ontologies/ufo-language/1.0.0
version info: 1.0.1
created: 17.10.2018
preferred namespace uri: http://onto.fel.cvut.cz/ontologies/ufo/
status: Ontology Specification

axiom: a07

Kategorie
type: Class
type: NamedIndividual
subclass of: Rigidní mixin
description: A «category» represents a rigid and relationally independent mixin, i.e., a dispersive universal that aggregates essential properties which are common to different substance sortals. For example, the category RationalEntity as a generalization of Person and IntelligentAgent.
label: Category

swrl: true

is associated with
type: AnnotationProperty
domain: power-type

je provedena
type: ObjectProperty
domain: Akce
range: Agent
sub property of: má účastníka
inverse of: vykonává
label: is performed by

axiom: a32

Druh
type: Class
type: NamedIndividual
subclass of: Substance sortal
definition: A kind represents a substance sortal whose instances are functional complexes. Examples include instances of Natural Kinds (such as Person, Dog, Tree) and of artifacts (Chair, Car, Television).
label: Kind

cardinality: 1

axiom: a31

object-icon-48
type: NamedIndividual
type: ContentAsBase64
has-height: 48
has-width: 48
bytes: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAMAAABg3Am1AAAABGdBTUEAALGPC/xhBQAAACBjSFJN AAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAABlVBMVEUAAAAAAPoAAP0AAP4A AP4AAP4AAP4AAP4AAP4AAP4AAP4AAP0AAOgAAIAAAP0AAP4AAP4AAP4AAPUAAPgAAP4AAP4AAP0A APwAAP4AAP4AAPwAAPgAAOMAAPQAAPoAAP0AAP4AAP4AAP4AAKoAAPsAAP4AAP4AAP4AAOAAAPsA AP4AAPcAAP4AAP4AAPwAAP4AAP0AAP4AAPwAAO4AAP4AAP4AAPoAAPwAAP4AAPoAAP4AAP4AAP4A APIAAP4AAP4AAPgAAP4AAP4AAP4AAP0AAPwAAPAAAP4AAP0AAPsAAP0AAO0AAP4AAP0AAP0AAP4A AP4AAP0AAPwAAP4AAP4AAP0AAP4AAP4AAPsAAP4AAOwAAPAAAPsAAP0AAP0AAPwAAP4AAPoAAP4A AP4AAPgAAP4AAP4AAPEAAP4AAP4AAPwAAP4AAP4AAOYAAPsAAP4AAP4AAP4AAP4AAP4AAP4AAPwA [binary]
character encoding: utf-8

axiom: a02-part2

axiom: a69

is-sufficient-condition-for: M3

Událost
type: Class
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
type: NamedIndividual
label: Event
subclass of: Perdurant
has-icon: event-icon-48
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.

annotated target: A «collective» represents a substance sortal whose instances are collectives, i.e., they are collections of complexes that have a uniform structure. Examples include a deck of cards, a forest, a group of people, a pile of bricks. Collectives can typically relate to complexes via a constitution relation. For example, a pile of bricks that constitutes a wall, a group of people that constitutes a football team. In this case, the collectives typically have an extensional principle of identity, in contrast to the complexes they constitute. For instance, The Beatles was in a given world w constituted by the collective {John, Paul, George, Pete} and in another world w’ constituted by the collective {John, Paul, George, Ringo}. The replacement of Pete Best by Ringo Star does not alter the identity of the band, but creates a numerically different group of people.

axiom: a93

annotated target: A subkind is a rigid, relationally independent restriction of a substance sortal that carries the principle of identity supplied by it. An example could be the subkind MalePerson of the kind Person. In general, the stereotype subkind can be omitted in conceptual models without loss of clarity.

Relační jazyk
type: Class
subclass of: Typovací jazyk
label: Relational Language

axiom: a52-part2

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

Situace
type: Class
subclass of: Perdurant
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.
label: Situation

min exclusive: 0

axiom: a66-part2

má část
type: ObjectProperty
domain: Prvek
range: Prvek
inverse of: je částí
label: has part

Role
type: Class
type: NamedIndividual
subclass of: Antirigidní sortál

axiom: a22

Agent
type: Class
subclass of: Objekt
definition: Agent is a proactive object. It has its own beliefs, intentions, goals.
example: * An agent *performs* an action. * An agent *provides* a service.
scope note: - A *pilot* is an agent who operates the aircraft, communicates with ATC, etc. - An *air traffic control organization* is an agent (legal body) that provides services, reacts to other organization requests, etc.

relator-icon-48
type: NamedIndividual
type: ContentAsBase64
has-height: 48
has-width: 48
character encoding: utf-8

contributes-to-necessary-condition-for: D1

is-sufficient-condition-for: M3

exclusively depends on
type: ObjectProperty
domain: Účast
range: Objekt
equivalent property: je účastí

axiom: a95

Vlastnost typu
type: Class
subclass of: Vlastnost
label: Type Intrinsic Trope

is instance of
type: ObjectProperty
domain: Prvek
range: Typ

is-necessary-condition-for: P5

source: ofscm

axiom: a40

axiom: a12

source: ofscm

Typ vztahu
type: Class
type: NamedIndividual
subclass of: Moment Type
label: Relator Type
has-icon: relator-type-icon-48

axiom: f2

brings about
type: ObjectProperty
domain: Událost
range: Situace

axiom: a14

Typ objektu
type: Class
type: NamedIndividual
subclass of: Substantial Type
label: Object Type
has-icon: object-type-icon-48

cardinality: 1

meets
type: ObjectProperty
domain: Událost
range: Událost
sub property of: is temporally related

contributes-to-sufficient-condition-for: P3

source: ofscm

axiom: a57-part1

cardinality: 1

je účastí
type: ObjectProperty
domain: Účast
range: Objekt
sub property of: má účastníka
label: is participation of

axiom: f4

přímo způsobuje
type: ObjectProperty
domain: Událost
range: Událost
sub property of: způsobuje
label: directly causes

comment: procedural irreflexivity

swrl: true

contributes-to-sufficient-condition-for: D2

axiom: a55-part2

source: ofscm

Individuál
type: Class
subclass of: Prvek
definition: Individuálem je prvek, který označuje jednotlivost, nelze jej použít pro typování, klasifikaci, jiných prvků.
definition: Individual is any entity, which denotes a unique concept, which cannot be used for typing
disjoint with: Time Point
label: Individual

source: ofscm

is-sufficient-condition-for: M1

axiom: a90

je částí objektu
type: ObjectProperty
domain: Objekt
range: Objekt
sub property of: je částí
label: is object part of

contributes-to-necessary-condition-for: P4

cardinality: 1

Poddruh
type: Class
type: NamedIndividual
subclass of: Rigidní sortál
definition: A subkind is a rigid, relationally independent restriction of a substance sortal that carries the principle of identity supplied by it. An example could be the subkind MalePerson of the kind Person. In general, the stereotype subkind can be omitted in conceptual models without loss of clarity.
label: Sub-kind

axiom: f3

Unified Foundational Ontology - Languages
description: The ontology aims at formalize the basic construct for expressing languages on top of UFO.
version IRI: http://onto.fel.cvut.cz/ontologies/ufo-language/1.0.0
rights: https://creativecommons.org/licenses/by-sa/4.0
type: Ontology
imports: http://onto.fel.cvut.cz/ontologies/ufo-types/1.1.0
creator: petr-kremen
status: Ontology Specification
preferred namespace uri: http://onto.fel.cvut.cz/ontologies/ufo/
created: 2.10.2018
version info: 1.0.0
preferred namespace prefix: ufo

is-necessary-condition-for: M3

axiom: a57-part3

Jazyk
type: Class
subclass of: Objekt
definition: Jazykem rozumíme předpis, kterým lze vytvářet formální (např. UFO) popisy.
label: Language

axiom: a33

is-necessary-condition-for: D4

Nerigidní mixin
type: Class
subclass of: Typ mixinu
label: Non Rigid Mixin

swrl: true

Typ druhého řádu
type: Class
subclass of: Typ
label: Second-order Type

Monadic Type
type: Class
subclass of: Typ endurantu

triggers
type: ObjectProperty
domain: Situace
range: Událost

cardinality: 1

axiom: a57-part2

axiom: a53-part2

axiom: a10

axiom: a05

Fáze
type: Class
type: NamedIndividual
subclass of: Antirigidní sortál
label: Phase

Unified Foundational Ontology - B - temporal reasoning
prior version: http://onto.fel.cvut.cz/ontologies/ufo-b-temporal/1.0.1
imports: http://onto.fel.cvut.cz/ontologies/ufo-b/1.1.0
description: The ontology aims at formalizing basic temporal properties of the Unified Foundational Ontology, namely Allen algebra.
version info: 1.1.0
rights: https://creativecommons.org/licenses/by-sa/4.0
preferred namespace prefix: ufo
type: Ontology
preferred namespace uri: http://onto.fel.cvut.cz/ontologies/ufo/
created: 10.10.2018
version IRI: http://onto.fel.cvut.cz/ontologies/ufo-b-temporal/1.1.0
status: Ontology Specification
creator: petr-kremen

axiom: a61-part2

axiom: a55-part1

source: ofscm

axiom: a92

starts
type: ObjectProperty
domain: Událost
range: Událost
sub property of: is temporally related

has begin point
type: ObjectProperty
domain: Událost
range: Time Point

axiom: f5

contributes-to-sufficient-condition-for: M2

vykonává
type: ObjectProperty
domain: Agent
range: Akce
sub property of: je účastníkem
label: performs

is-sufficient-condition-for: P5

min cardinality: 2

axiom: a56-part1

cardinality: 1

object-type-icon-48
type: NamedIndividual
type: ContentAsBase64
has-height: 48
has-width: 48
bytes: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAMAAABg3Am1AAAABGdBTUEAALGPC/xhBQAAACBjSFJN AAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAABoVBMVEUAAAAAAPoAAP0AAP4A AP4AAP4AAP4AAP4AAP4AAP4AAP4AAP0AAOgAAIAAAP0AAP4AAP4AAP4AAPUAAPgAAP4AAP4AAP0A APwAAP4AAP4AAPwAAPgAAOMAAPQAAPoAAP0AAP4AAP4AAP4AAKoAAPsAAP4AAP4AAP4AAOAAAPsA AP4AAPcAAP4AAP4AAPwAAP4AAP0AAP4AAPwAAO4AAP4AAP4AAPoAAPwAAP4AAPoAAP4AAP4AAP4A APIAAP4AAP4AAPgAAP4AAP4AAP4AAP0AAPwAAPAAAP4AAP0AAPsAAP0AAO0AAP4AAP0AAP0AAP4A AP4AAP0AAPwAAP4AAP4AAP0AAP4AAP4AAPsAAP4AAOwAAPAAAPsAAP0AAAAAAP0AAPwAAP4AAPoA AP4AAAAAAAAAAP4AAPgAAP4AAP4AAPEAAP4AAP4AAPwAAP4AAP4AAOYAAPsAAP4AAP4AAP4AAP4A [binary]
character encoding: utf-8

source: ofscm

axiom: a49-part2

cardinality: 1

source: ofscm

Akce
type: Class
subclass of: Událost
definition: Action is an event performed by an Agent. A single proactive object (agent) is responsible for performing the action.
label: Action
example: - An action *is performed by* an agent.
scope note: - *Use of deicing equipment* is an action performed by aerodrome staff. - An *ATC clearance deviation* is an action performed by a pilot.

min exclusive: 0

axiom: a50-part2

max cardinality: 1

Složená událost
type: Class
subclass of: Událost
label: Complex Event

before
type: ObjectProperty
domain: Událost
range: Událost
sub property of: is temporally related

max cardinality: 1

Fakt
type: Class
subclass of: Situace
label: Fact

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

contributes-to-necessary-condition-for: M2

source: ofscm

Unified Foundational Ontology - B - dispositions
imports: http://onto.fel.cvut.cz/ontologies/ufo-b/1.1.0
rights: https://creativecommons.org/licenses/by-sa/4.0
prior version: http://onto.fel.cvut.cz/ontologies/ufo-b-dispositions/1.0.1
version IRI: http://onto.fel.cvut.cz/ontologies/ufo-b-dispositions/1.1.0
preferred namespace uri: http://onto.fel.cvut.cz/ontologies/ufo/
creator: petr-kremen
created: 10.10.2018
description: The ontology aims at formalize the basic notions around dispositions and actions in the Unified Foundational Ontology.
status: Ontology Specification
preferred namespace prefix: ufo
version info: 1.1.0
type: Ontology

swrl: true

axiom: a58-part2

contributes-to-necessary-condition-for: D1

Perdurant
type: Class
subclass of: Prvek
definition: Perdurant je prvek, který se vyskytuje v čase.
definition: Perdurant is an entity which occurs in time.

finishes
type: ObjectProperty
domain: Událost
range: Událost
sub property of: is temporally related

axiom: a37

axiom: a27

event-icon-48
type: NamedIndividual
type: ContentAsBase64
has-height: 48
has-width: 48
character encoding: utf-8

Typovací jazyk
type: Class
subclass of: Jazyk
label: Typing Language

axiom: a09

axiom: a45

má jako část objekt
type: ObjectProperty
domain: Objekt
range: Objekt
sub property of: má část
inverse of: je částí objektu
label: has object part

event-type-icon-48
type: NamedIndividual
type: ContentAsBase64
has-height: 48
has-width: 48
character encoding: utf-8

precedes
type: ObjectProperty
type: AsymmetricProperty
domain: Time Point
range: Time Point

axiom: a66-part1

má jako část událost
type: ObjectProperty
domain: Událost
range: Událost
sub property of: mereologically overlaps
sub property of: má část
inverse of: je částí události
label: has event part

comment: definition partially reused from Mixin Class

Substance sortal
type: Class
subclass of: Rigidní sortál
description: Substance Sortal is an abstract metaclass that represents the general properties of all substance sortals, i.e., rigid, relationally independent object universals that supply a principle of identity for their instances. Substance Sortal has no concrete syntax. Thus, symbolic representations are defined by each of its concrete subclasses.

contributes-to-sufficient-condition-for: M2

axiom: a18

Unified Foundational Ontology - OntoUML
created: 2.10.2018
type: Ontology
creator: petr-kremen
version IRI: http://onto.fel.cvut.cz/ontologies/ufo-language-ontouml/1.1
prior version: http://onto.fel.cvut.cz/ontologies/ufo-ontouml/1.0.2
rights: https://creativecommons.org/licenses/by-sa/4.0
preferred namespace prefix: ufo
imports: http://onto.fel.cvut.cz/ontologies/ufo-language/1.0.0
preferred namespace uri: http://onto.fel.cvut.cz/ontologies/ufo/
status: Ontology Specification
description: The ontology aims at formalize the basic notions of the OntoUML language.
version info: 1.1

contributes-to-necessary-condition-for: P2

axiom: a54-part2

completely categorizes
type: ObjectProperty
definition: 'completely categorizes'(t,t’) A variation of categorization in which the classification criteria defined by t guarantee that each instance of t’ is instance of at least one instance of t.
sub property of: categorizes

axiom: a63

axiom: a01

axiom: a47-part2

mediates
type: ObjectProperty
domain: Vztah
range: Endurant

categorizes
type: ObjectProperty
domain: Typ
range: Typ
definition: categorizes(t,t') The instances of t apply to instances of t’ according specific classification criteria. Thus, all proper specializations of t’ that categorizes(t,t’) follow the specified classification criteria are instances of t.

cardinality: 1

cardinality: 1

source: ofscm

swrl: true

Základní jazyk
obsahuje typ: Typ objektu
obsahuje typ: Typ vlastnosti
type: NamedIndividual
obsahuje typ: Vztah
obsahuje typ: Vlastnost
obsahuje typ: Objekt
obsahuje typ: Událost
obsahuje typ: Typ vztahu
type: Relační jazyk
label: Basic language
obsahuje typ: Typ události

axiom: a47-part1

cardinality: 1

axiom: a02-part1

je částí události
type: ObjectProperty
domain: Událost
range: Událost
sub property of: mereologically overlaps
sub property of: je částí
label: is event part of

axiom: a53-part1

je účastníkem
type: ObjectProperty
domain: Objekt
range: Událost
label: is participant of

contributes-to-necessary-condition-for: M2

Jazyk OntoUML
obsahuje typ: Typ vztahu
obsahuje typ: Druh
obsahuje typ: Mixin
obsahuje typ: Poddruh
obsahuje typ: Role
obsahuje typ: intrinsic-moment-type
type: NamedIndividual
label: OntoUML Language
obsahuje typ: Mixin rolí
obsahuje typ: Kategorie
obsahuje typ: Fáze

Fyzický objekt
type: Class
subclass of: Objekt
label: Physical object

axiom: a58-part1

contributes-to-necessary-condition-for: P3

cardinality: 1

Vztah
type: Class
type: NamedIndividual
subclass of: Závislý endurant
label: Relator
has-icon: relator-icon-48

axiom: a51-part1

source: ofscm

during
type: ObjectProperty
domain: Událost
range: Událost
sub property of: is temporally related

axiom: a48-part2

axiom: a70

comment: a66-part3

axiom: a45

axiom: a30

obsahuje typ
type: ObjectProperty
sub property of: má jako část objekt
label: contains type

annotated target: A «category» represents a rigid and relationally independent mixin, i.e., a dispersive universal that aggregates essential properties which are common to different substance sortals. For example, the category RationalEntity as a generalization of Person and IntelligentAgent.

intrinsic-trope-type-icon-48
type: NamedIndividual
type: ContentAsBase64
has-height: 48
has-width: 48
character encoding: utf-8

contributes-to-necessary-condition-for: D2

axiom: a20

source: ofscm

temporally overlaps
type: ObjectProperty
domain: Událost
range: Událost
sub property of: is temporally related

source: ofscm

cardinality: 1

Osoba
type: Class
subclass of: Fyzický agent
label: Person

axiom: a11

Dispozice
type: Class
subclass of: Vlastnost
label: Disposition

axiom: a62-part2

contributes-to-sufficient-condition-for: D2

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

source: ofscm, renamed from Relator

contributes-to-sufficient-condition-for: P2

Substantial Type
type: Class
subclass of: Monadic Type

Typ sortálu
type: Class
subclass of: Typ endurantu
label: Sortal Type

axiom: a06

axiom: a60-part2

annotated target: Substance Sortal is an abstract metaclass that represents the general properties of all substance sortals, i.e., rigid, relationally independent object universals that supply a principle of identity for their instances. Substance Sortal has no concrete syntax. Thus, symbolic representations are defined by each of its concrete subclasses.

source: ofscm

is-sufficient-condition-for: M4

is classified by
type: ObjectProperty
domain: Individuál
range: Typ

axiom: a03

Quantity
type: Class
subclass of: Substance sortal
definition: A «quantity» represents a substance sortal whose instances are quantities. Examples are those stuff universals that are typically referred in natural language by mass general terms (e.g., Gold, Water, Sand, Clay).

contributes-to-sufficient-condition-for: M7

způsobuje
type: ObjectProperty
domain: Událost
range: Událost
label: causes

axiom: a39

source: ofscm

axiom: a41-part1

contributes-to-necessary-condition-for: M1

swrl: true

je vlastností
type: ObjectProperty
range: Prvek
label: inheres in

Rigidní mixin
type: Class
subclass of: Typ mixinu
label: Rigid Mixin

Rigidní sortál
type: Class
source: ontological-foundations-for-structural-conceptual-models
subclass of: Typ sortálu
label: Rigid Sortal

min cardinality: 2

contributes-to-sufficient-condition-for: D3

axiom: a59-part1

mereologically overlaps
type: ObjectProperty

Okamžitý stav objektu
type: Class
subclass of: Perdurant
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.
label: Object Snapshot
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).

annotated target: A «quantity» represents a substance sortal whose instances are quantities. Examples are those stuff universals that are typically referred in natural language by mass general terms (e.g., Gold, Water, Sand, Clay).

axiom: a48-part1

axiom: a41-part1

contributes-to-necessary-condition-for: D1

axiom: a21

axiom: a51-part2

axiom: a16

Účast
type: Class
subclass of: Událost
label: Participation

axiom: a49-part1

axiom: a60-part1

objekt má vlastnost
type: ObjectProperty
domain: Objekt
range: Závislý endurant
sub property of: má vlastnost
inverse of: trope inheres in object
label: object has trope

aktivuje
type: ObjectProperty
domain: Situace
range: Dispozice
label: activates

Typ vlastnosti
type: Class
type: NamedIndividual
subclass of: Moment Type
label: Intrinsic Trope Type
alternative label: Intrinsic Moment Type
has-icon: intrinsic-trope-type-icon-48

has property
type: ObjectProperty
domain: Typ
range: Vlastnost typu

Prvek
type: Class
definition: Entity represents any identifiable meaning (concept).
definition: Prvek je jakýkoliv identifikovatelný význam (koncept).
label: Entity

swrl: true

axiom: a35

trope inheres in endurant
type: ObjectProperty
sub property of: je vlastností

has value: 2

axiom: a17

axiom: a15

cardinality: 1

swrl: true

axiom: a40

má úroveň
type: DatatypeProperty
domain: Typ
label: has type order

source: ofscm

contributes-to-sufficient-condition-for: D1

Collective
type: Class
subclass of: Substance sortal
definition: A «collective» represents a substance sortal whose instances are collectives, i.e., they are collections of complexes that have a uniform structure. Examples include a deck of cards, a forest, a group of people, a pile of bricks. Collectives can typically relate to complexes via a constitution relation. For example, a pile of bricks that constitutes a wall, a group of people that constitutes a football team. In this case, the collectives typically have an extensional principle of identity, in contrast to the complexes they constitute. For instance, The Beatles was in a given world w constituted by the collective {John, Paul, George, Pete} and in another world w’ constituted by the collective {John, Paul, George, Ringo}. The replacement of Pete Best by Ringo Star does not alter the identity of the band, but creates a numerically different group of people.

Typ kvality
type: Class
source: ontological-foundations-for-structural-conceptual-models
subclass of: Typ vlastnosti
label: Quality Type

swrl: true

Událost ničící objekt
type: Class
subclass of: Účast
label: Object destruction event

source: ofscm

axiom: a25

cardinality: 1

swrl: true

axiom: a62

Time Point
type: Class
subclass of: Prvek