en
0.25
0.5
0.75
1.25
1.5
1.75
2
Verification of the OWL-Time Ontology
Published on Feb 4, 20252772 Views
Ontology verification is concerned with the relationship between the intended structures for an ontology and the models of the axiomatization of the ontology. The verification of a particular ontology
Related categories
Presentation
Veri cation of OWL-Time Ontology00:00
Time Ontologies00:10
Objectives00:57
Ontology Veri cation: Intuitions04:33
Ontology Veri cation: Model Theory04:37
Ontology Veri cation: Reasoning04:38
... But It's Too Hard!06:28
COLORE07:19
Approach07:49
Modularization of T owltime08:15
Theories Related to T owltime interval09:31
Loop Graphical Incidence Structures11:34
Translation De nitions14:23
Veri cation of T owltime_leu15:07
Theories Related to T owltime_interval15:58
Impact17:07
Critique of Axioms for inside - 117:32
Critique of Axioms for inside - 218:23
Extension of T owltime19:00
Veri cation of T owltime_inside19:05
Eventualities19:41
Models of T eventuality and T timespan19:56
Translation De nitions for T eventuality and T timespan20:42
Representation Theorem for T owltime21:01
Conclusions21:51