en
0.25
0.5
0.75
1.25
1.5
1.75
2
Verification of the OWL-Time Ontology
Published on Nov 25, 20112769 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
Chapter list
Verication of OWL-Time Ontology00:00
Time Ontologies00:10
Objectives00:57
Ontology Verication: Intuitions04:33
Ontology Verication: Model Theory04:37
Ontology Verication: 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 Denitions14:23
Verication 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
Verication of T owltime_inside19:05
Eventualities19:41
Models of T eventuality and T timespan19:56
Translation Denitions for T eventuality and T timespan20:42
Representation Theorem for T owltime21:01
Conclusions21:51