Reasoning and Explanation in EL and in Expressive Description Logics

Anni-Yasmin TurhanAnni-Yasmin Turhan

Download

Anni-Yasmin Turhan
Reasoning and Explanation in EL and in Expressive Description Logics
In Uwe As̈mann and Andreas Bartho and Christian Wende, eds., Reasoning Web, LNCS, 1-27. Springer, 2010

Details
Bibtex

KurzfassungAbstract
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In this paper, we introduce the basic notions of DLs and the techniques that realize subsumption — the fundamental reasoning service of DL systems. We discuss two reasoning methods for this service: the tableau method for expressive DLs such as ALC and the completion method for the light-weight DL El. We also present methods for generating explanations for computed subsumption relationships in these two DLs.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@incollection{ Tur-RW10,
  author = {Anni-Yasmin {Turhan}},
  booktitle = {Reasoning Web},
  editor = {Uwe {A{\"s}mann} and Andreas {Bartho} and Christian {Wende}},
  number = {6325},
  pages = {1--27},
  publisher = {Springer},
  series = {LNCS},
  title = {Reasoning and Explanation in {$\mathcal EL$} and in Expressive Description Logics},
  year = {2010},
}