Sciweavers

DLOG
2008

Locality and Subsumption Testing in EL and Some of its Extensions

14 years 1 months ago
Locality and Subsumption Testing in EL and Some of its Extensions
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We use possibilities of efficient local reasoning in such classes of algebras to obtain uniform PTIME decision procedures for CBox subsumption in EL and extensions thereof. These locality considerations allow us to present a new family of logics which extend EL and EL+ with n-ary roles and/or numerical domains.
Viorica Sofronie-Stokkermans
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where DLOG
Authors Viorica Sofronie-Stokkermans
Comments (0)