en
0.25
0.5
0.75
1.25
1.5
1.75
2
Extending logic programs with description logic expressions for the semantic wec
Published on Nov 25, 20112850 Views
Recently much attention has been directed to extending logic programming with description logic (DL) expressions, so that logic pro- grams have access to DL knowledge bases and thus are able to reas
Related categories
Chapter list
Extending Logic Programs with Description Logic Expressions for the Semantic Web00:00
Outline - 100:24
Semantic Web Stack00:28
Ontologies and Rules00:31
Logic Programs with DL Expressions01:17
Major Existing Proposals01:45
dl-Programs01:54
DL+log02:31
Disjunctive dl-Programs03:03
Complementary Features - 103:20
Complementary Features - 204:04
Our Contributions04:20
Outline - 204:59
Logic Programs - 105:06
Logic Programs - 205:35
DL Knowledge Bases - 106:02
DL Knowledge Bases - 206:29
Outline - 306:46
Syntax06:54
DL Expressions07:19
Normal DL Logic Programs - 107:51
Normal DL Logic Programs - 208:22
Semantics08:55
Extended Satisfaction09:27
Herbrand Models10:14
up to Satisfaction11:01
Monotonicity11:55
Well-Supported Models12:05
A Fixpoint Semantics - 113:24
A Fixpoint Semantics - 213:55
A Fixpoint Semantics - 314:17
A Fixpoint Semantics - 414:51
Properties of the Semantics15:24
Decidability of the Semantics16:01
Outline - 416:35
Related Work - 116:40
Related Work - 217:15
Related Work - 317:43
Outline18:03
Summary18:06
Future Work18:27
Thanks18:59