franz baader theoretical computer science tu dresden...
TRANSCRIPT
![Page 1: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/1.jpg)
Dresden © Franz Baader
Description Logics
Franz BaaderTheoretical Computer Science
TU DresdenGermany
![Page 2: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/2.jpg)
Dresden © Franz Baader
Query Answering in databases from a logical point of view
![Page 3: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/3.jpg)
Dresden © Franz Baader
in databases from a logical point of viewQuery Answering
![Page 4: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/4.jpg)
Dresden © Franz Baader
Query Answering in databases from a logical point of view
![Page 5: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/5.jpg)
Dresden © Franz Baader
Conjunctive queries subclass of FOL queries
![Page 6: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/6.jpg)
Dresden © Franz Baader
Conjunctive queries example that shows NP-hardness w.r.t. combined complexity
three-colorability
![Page 7: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/7.jpg)
Dresden © Franz Baader
Ontology-Based Data Access OBDA
![Page 8: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/8.jpg)
Dresden © Franz Baader
Ontology-Based Data Access OBDA
![Page 9: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/9.jpg)
Dresden © Franz Baader
Ontology-Based Data Access for expressive DLs
![Page 10: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/10.jpg)
Dresden © Franz Baader
Ontology-Based Data Access for inexpressive DLs
Goal
![Page 11: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/11.jpg)
Dresden © Franz Baader
Query answering
![Page 12: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/12.jpg)
Dresden © Franz Baader
Ontology-Based Data Access for inexpressive DLs
Goal
![Page 13: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/13.jpg)
Dresden © Franz Baader
![Page 14: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/14.jpg)
Dresden © Franz Baader
Conjunctive query answering
![Page 15: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/15.jpg)
Dresden © Franz Baader
FOL-reducibility
![Page 16: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/16.jpg)
Dresden © Franz Baader
FOL-reducibility
![Page 17: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/17.jpg)
Dresden © Franz Baader
FOL-reducibility
![Page 18: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/18.jpg)
Dresden © Franz Baader
FOL-reducibility
![Page 19: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/19.jpg)
Dresden © Franz Baader
FOL-reducibility
![Page 20: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/20.jpg)
Dresden © Franz Baader
FOL-reducibility
![Page 21: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/21.jpg)
Dresden © Franz Baader
FOL-reducibility
![Page 22: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/22.jpg)
Dresden © Franz Baader
FOL-reducibility
![Page 23: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/23.jpg)
Dresden © Franz Baader
FOL-reducibility
![Page 24: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/24.jpg)
Dresden © Franz Baader
Query answering
![Page 25: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/25.jpg)
Dresden © Franz Baader
Query answering
![Page 26: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/26.jpg)
Dresden © Franz Baader
![Page 27: Franz Baader Theoretical Computer Science TU Dresden Germanyresources.mpi-inf.mpg.de/.../vtsa11/slides/baader/baader-6.pdf · Dresden © Franz Baader Description Logics . Franz Baader](https://reader033.vdocument.in/reader033/viewer/2022052520/608e792dd15e611c8f070c44/html5/thumbnails/27.jpg)
Dresden © Franz Baader
Description Logics
Franz BaaderTheoretical Computer Science
TU DresdenGermany