Locality and subsumption testing in EL and some of its extensions

Sofronie-Stokkermans, Viorica

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Konferenzbeitrag

Locality and subsumption testing in EL and some of its extensions

MPG-Autoren

/persons/resource/persons45516

Sofronie-Stokkermans, Viorica
Automation of Logic, MPI for Informatics, Max Planck Society;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PuRe verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Sofronie-Stokkermans, V. (2008). Locality and subsumption testing in EL and some of its extensions. In C. Areces, & R. Goldblatt (Eds.), Advances in Modal Logic 7: [Proceedings of the AiML 2008] (pp. 315-339). London: College Publications.

Zitierlink: https://hdl.handle.net/11858/00-001M-0000-000F-1C1B-4

Zusammenfassung

In this paper we show that subsumption problems in many lightweight description logics (including ${\cal 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 CBox subsumption in ${\cal EL}$ and extensions thereof. These locality considerations allow us to present a new family of logics which extend ${\cal EL}$ with $n$-ary roles and numerical domains and also a new extension of ${\cal EL}^+$.