Querying OWL 2 QL and non-monotonic rules

Published on 2011-11-252543 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

Presentation

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