0.25
0.5
0.75
1.25
1.5
1.75
2
Local closed world semantics: Grounded circumscription for OWL
Published on Nov 25, 20112775 Views
We present a new approach to adding closed world reasoning to the Web Ontology Language OWL. It transcends previous work on circumscriptive description logics which had the drawback of yielding an
Related categories
Chapter list
Local Closed World Semantics00:00
Outline - 100:17
OWA and CWA00:49
OWL Example - 101:28
OWL Example - 202:07
Local Closed World02:51
Solution03:14
Outline - 203:43
Circumscription - 103:49
Circumscription - 204:42
Circumscription - 305:40
Grounded Circumscription - 106:06
Grounded Circumscription - 206:48
GC- Example07:37
Outline - 308:27
Contribution08:29
Outline - 408:56
Decidability (Sketch)08:59
Outline - 509:50
Algorithm (GC-satisfiability)09:57
Key10:38
New Expansion Rules11:02
New Tableau Rules11:54
GC-Satisfiability12:02
Beyond Satisfiability12:35
Tableau213:02
Finding GC-model - 114:00
Finding GC-model - 214:23
Finding GC-model - 314:37
Finding GC-model - 414:52
Inference Problems15:14
Outline - 616:15
Conclusion and Outlook16:17
Thanks17:12