Sciweavers

Share
RWEB
2010
Springer

Reasoning and Explanation in EL and in Expressive Description Logics

9 years 4 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
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.
Anni-Yasmin Turhan
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where RWEB
Authors Anni-Yasmin Turhan
Comments (0)
books