Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica

dblp



Editor(s):

Areces, Carlos
Goldblatt, Robert

dblp
dblp

Not MPII Editor(s):

Areces, Carlos
Goldblatt, Robert

BibTeX cite key*:

Sofronie-Stokkermans-aiml2008

Title, Booktitle

Title*:

Locality and subsumption testing in $\mathcalEL$ and some of its extensions

Booktitle*:

Advances in Modal Logic, Vol.7 (Proceedings of AIML 2008)

Event, URLs

URL of the conference:

http://aiml08.loria.fr/

URL for downloading the paper:

http://www.aiml.net/volumes/volume7/Sofronie-Stokkermans.pdf

Event Address*:

Nancy, France

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

9 September 2008

Event End Date:

12 September 2008

Publisher

Name*:

College Publications

URL:

http://www.collegepublications.co.uk/

Address*:

London, UK

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

315-339

Year*:

2008

VG Wort Pages:


ISBN/ISSN:

978-1-904987-68-0

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) 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}^+$.



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{Sofronie-Stokkermans-aiml2008,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Areces, Carlos and Goldblatt, Robert},
TITLE = {Locality and subsumption testing in $\mathcal{EL}$ and some of its extensions},
BOOKTITLE = {Advances in Modal Logic, Vol.7 (Proceedings of AIML 2008)},
PUBLISHER = {College Publications},
YEAR = {2008},
PAGES = {315--339},
ADDRESS = {Nancy, France},
ISBN = {978-1-904987-68-0},
}


Entry last modified by Viorica Sofronie-Stokkermans, 03/30/2009
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Viorica Sofronie-Stokkermans
Created
05/26/2008 01:09:20 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
03/30/2009 12:03:00 PM
03/30/2009 12:00:40 PM
09/16/2008 05:34:24 PM
09/16/2008 05:32:32 PM
05/26/2008 01:10:38 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section