Sign inSign up
Verification of the OWL-Time Ontology 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 Nov 25, 20112768 Views

Michael Grüninger

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

Research Track

Related categories

OWL - Web Ontology LanguageOntologies

Chapter list

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