0.25
0.5
0.75
1.25
1.5
1.75
2
Absorption-Based Query Answering for Expressive Description Logics
Published on 2019-12-10168 Views
Related categories
Presentation
Absorption-Based Query Answering for Expressive Description Logics00:00
Descrtiption Logics02:09
Tableau Algorithm03:30
Towards Practical Entailment Checking?06:22
Absorption-Based Query Entailment Checking08:05
Query Absorption and Tableau Adaptions11:13
Blocking Considerations12:24
Optimised Reduction14:28
Implementation and Experiments14:55
ORE2015 Query Answering Evaluation16:04
Conclusions17:12