Querying OWL 2 QL and non-monotonic rules thumbnail
Pause
Mute
Subtitles
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

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