Franz Baader Barbara Morawska TU Dresden Germany
23
Dresden © Franz Baader 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 Presentation
Transcript of Franz Baader Barbara Morawska TU Dresden Germany
Dresden © Franz Baader
Franz Baader Barbara Morawska
TU DresdenGermany
Dresden © Franz Baader
Description LogicsDescription Logics research of the last 20 years
Dresden © Franz Baader
Dresden © Franz Baader
Formal semantics and reasoningFormal semantics and reasoning
Dresden © Franz Baader
Modal LogicModal Logic
Dresden © Franz Baader
Unification in DLsUnification in DLs
Dresden © Franz Baader
Unification in DLsUnification in DLs
Dresden © Franz Baader
Unification in DLsUnification in DLs
Dresden © Franz Baader
Unification in Unification in
Dresden © Franz Baader
Dresden © Franz Baader
Reduced formReduced form
Dresden © Franz Baader
Well-founded orderWell-founded order
Dresden © Franz Baader
Normal formNormal form
Dresden © Franz Baader
LocalityLocality
Dresden © Franz Baader
Dresden © Franz Baader
Practical algorithmsPractical algorithms
Dresden © Franz Baader
Transformation-based algorithmTransformation-based algorithm
Dresden © Franz Baader
Transformation rulesTransformation rules
Dresden © Franz Baader
Transformation rulesTransformation rules
Dresden © Franz Baader
Transformation rulesTransformation rules
Dresden © Franz Baader
Translation into SATTranslation into SAT
Dresden © Franz Baader
Translation into SATTranslation into SAT
Dresden © Franz Baader
ConclusionConclusion
