video thumbnail
Pause
Mute
Subtitles
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Verification of the OWL-Time Ontology

Published on 2011-11-252773 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