Reasoning and Explanation in EL and in Expressive Description Logics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Reasoning and Explanation in EL and in Expressive Description Logics

Anni-Yasmin TurhanAnni-Yasmin Turhan
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
  • 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},
}