Sign inSign up
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, 20112536 Views

Matthias Knorr

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

Research Track

Related categories

OWL - Web Ontology Language

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