Locality and Applications to Subsumption Testing in EL and Some of its Extensions

Scientific Annals of Computer Science

article

V. Sofronie-Stokkermans¹ 

[1] University Koblenz-Landau, Germany and Max-Planck-Institut f¨ur Informatik

关键词: description logics;    deduction;    hierarchical reasoning;   

DOI  :  10.7561/SACS.2013.2.251

来源: Alexandru Ioan Cuza University of Iasi

【 摘 要 】

In this paper we show that subsumption problems in the description logics EL and EL+ 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 TBox and CBox subsumption in EL and EL+. These locality considerations allow us to present a new family of (possibly many-sorted) logics which extend EL and EL+ with n-ary roles and/or numerical domains.

【 授权许可】

CC BY-ND