Franz Baader Theoretical Computer Science TU Dresden...

transcript

Dresden © Franz Baader

Description Logics

Franz BaaderTheoretical Computer Science

TU DresdenGermany

Query Answering in databases from a logical point of view

in databases from a logical point of viewQuery Answering

Query Answering in databases from a logical point of view

Conjunctive queries subclass of FOL queries

Conjunctive queries example that shows NP-hardness w.r.t. combined complexity

three-colorability

Ontology-Based Data Access OBDA

Ontology-Based Data Access for expressive DLs

Ontology-Based Data Access for inexpressive DLs

Query answering

Ontology-Based Data Access for inexpressive DLs

Conjunctive query answering

FOL-reducibility

Query answering

Description Logics

Franz BaaderTheoretical Computer Science

TU DresdenGermany

Documents