en
0.25
0.5
0.75
1.25
1.5
1.75
2
Querying OWL 2 QL and non-monotonic rules
Published on Nov 25, 20112537 Views
Answering (conjunctive) queries is an important reasoning task in Description Logics (DL), hence also in highly expressive ontology languages, such as OWL. Extending such ontology languages with rul
Related categories
Chapter list
Querying OWL 2 QL and00:00
Motivating Example00:09
Goals02:13
Ingredients: 1. OWL 2 QL03:24
Ingredients: 2. Hybrid MKNF KBs05:07
Ingredients: 3. SLG(O)06:43
Contribution10:47
Intuitive Idea - Example11:42
Query hasKnownTutor(x)13:13
Compute negative closure16:28
Translate negative closure17:45
Derive Meaningful Answers18:36
Properties20:15
Conclusions22:12