Locality and Applications to Subsumption Testing in EL and Some of its Extensions
In this paper we show that subsumption problems in the description logics {{mathcal|EL}} and EL+ can be expressed as uniform word problems in classes of semilattices with monotone operators. We use possibilities of e ficient local reasoning in such classes of algebras, to obtain uniform PTIME decisi...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Alexandru Ioan Cuza University of Iasi
2013-12-01
|
| Series: | Scientific Annals of Computer Science |
| Online Access: | http://www.info.uaic.ro/bin/download/Annals/XXIII2/XXIII2_3.pdf |