Dresden © Franz Baader
Description Logics
Franz BaaderTheoretical Computer Science
TU DresdenGermany
Dresden © Franz Baader
Query Answering in databases from a logical point of view
Dresden © Franz Baader
in databases from a logical point of viewQuery Answering
Dresden © Franz Baader
Query Answering in databases from a logical point of view
Dresden © Franz Baader
Conjunctive queries subclass of FOL queries
Dresden © Franz Baader
Conjunctive queries example that shows NP-hardness w.r.t. combined complexity
three-colorability
Dresden © Franz Baader
Ontology-Based Data Access OBDA
Dresden © Franz Baader
Ontology-Based Data Access OBDA
Dresden © Franz Baader
Ontology-Based Data Access for expressive DLs
Dresden © Franz Baader
Ontology-Based Data Access for inexpressive DLs
Goal
Dresden © Franz Baader
Query answering
Dresden © Franz Baader
Ontology-Based Data Access for inexpressive DLs
Goal
Dresden © Franz Baader
Dresden © Franz Baader
Conjunctive query answering
Dresden © Franz Baader
FOL-reducibility
Dresden © Franz Baader
FOL-reducibility
Dresden © Franz Baader
FOL-reducibility
Dresden © Franz Baader
FOL-reducibility
Dresden © Franz Baader
FOL-reducibility
Dresden © Franz Baader
FOL-reducibility
Dresden © Franz Baader
FOL-reducibility
Dresden © Franz Baader
FOL-reducibility
Dresden © Franz Baader
FOL-reducibility
Dresden © Franz Baader
Query answering
Dresden © Franz Baader
Query answering
Dresden © Franz Baader
Dresden © Franz Baader
Description Logics
Franz BaaderTheoretical Computer Science
TU DresdenGermany