English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Locality and subsumption testing in EL and some of its extensions

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.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Sofronie-Stokkermans, Viorica1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: -
 Abstract: 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}^+$.

Details

show
hide
Language(s): eng - English
 Dates: 2009-03-302008
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 428227
Other: Local-ID: C125756E0038A185-CD8BE4CAB591A1BDC1257455003D47C0-Sofronie-Stokkermans-aiml2008
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Nancy, France
Start-/End Date: 2008-09-09 - 2008-09-12

Legal Case

show

Project information

show

Source 1

show
hide
Title: Advances in Modal Logic 7 : [Proceedings of the AiML 2008]
Source Genre: Proceedings
 Creator(s):
Areces, Carlos, Editor
Goldblatt, Robert, Editor
Affiliations:
-
Publ. Info: London : College Publications
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 315 - 339 Identifier: ISBN: 978-1-904987-68-0