franz baader barbara morawska tu dresden germany
DESCRIPTION
Franz Baader Barbara Morawska TU Dresden Germany. Description Logics. research of the last 20 years. Formal semantics and reasoning. Modal Logic. Unification in DLs. Unification in DLs. Unification in DLs. Unification in. Reduced form. Well- founded order. Normal form. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/1.jpg)
Dresden © Franz Baader
Franz Baader Barbara Morawska
TU DresdenGermany
![Page 2: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/2.jpg)
Dresden © Franz Baader
Description LogicsDescription Logics research of the last 20 years
![Page 3: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/3.jpg)
Dresden © Franz Baader
![Page 4: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/4.jpg)
Dresden © Franz Baader
Formal semantics and reasoningFormal semantics and reasoning
![Page 5: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/5.jpg)
Dresden © Franz Baader
Modal LogicModal Logic
![Page 6: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/6.jpg)
Dresden © Franz Baader
Unification in DLsUnification in DLs
![Page 7: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/7.jpg)
Dresden © Franz Baader
Unification in DLsUnification in DLs
![Page 8: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/8.jpg)
Dresden © Franz Baader
Unification in DLsUnification in DLs
![Page 9: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/9.jpg)
Dresden © Franz Baader
Unification in Unification in
![Page 10: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/10.jpg)
Dresden © Franz Baader
![Page 11: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/11.jpg)
Dresden © Franz Baader
Reduced formReduced form
![Page 12: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/12.jpg)
Dresden © Franz Baader
Well-founded orderWell-founded order
![Page 13: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/13.jpg)
Dresden © Franz Baader
Normal formNormal form
![Page 14: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/14.jpg)
Dresden © Franz Baader
LocalityLocality
![Page 15: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/15.jpg)
Dresden © Franz Baader
![Page 16: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/16.jpg)
Dresden © Franz Baader
Practical algorithmsPractical algorithms
![Page 17: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/17.jpg)
Dresden © Franz Baader
Transformation-based algorithmTransformation-based algorithm
![Page 18: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/18.jpg)
Dresden © Franz Baader
Transformation rulesTransformation rules
![Page 19: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/19.jpg)
Dresden © Franz Baader
Transformation rulesTransformation rules
![Page 20: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/20.jpg)
Dresden © Franz Baader
Transformation rulesTransformation rules
![Page 21: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/21.jpg)
Dresden © Franz Baader
Translation into SATTranslation into SAT
![Page 22: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/22.jpg)
Dresden © Franz Baader
Translation into SATTranslation into SAT
![Page 23: Franz Baader Barbara Morawska TU Dresden Germany](https://reader037.vdocuments.us/reader037/viewer/2022110102/56813a08550346895da1d5c6/html5/thumbnails/23.jpg)
Dresden © Franz Baader
ConclusionConclusion