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