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 2011-11-252856 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
Presentation
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