10.10.2018
The ontology aims at formalizing basic temporal properties of the Unified Foundational Ontology, namely Allen algebra.
Unified Foundational Ontology - B - temporal reasoning
Ontology Specification
ufo
http://onto.fel.cvut.cz/ontologies/ufo/
1.1.0
before
during
equals
finishes
is temporally related
meets
precedes
starts
temporally overlaps
a90
true
f2
true
f1
true
f3
true
f4
true
a91
true
a92
true
f5
true
true
procedural irreflexivity