Electronic Proceedings Article
@InProceedings
Internet-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):

Baader, Franz
Lutz, Carsten
Motik, Boris

dblp
dblp
dblp

Not MPII Editor(s):

Baader, Franz
Lutz, Carsten
Motik, Boris

BibTeX cite key*:

Sofronie-Stokkermans-dl2008

Title, Conference

Title*:

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

Booktitle*:

Proceedings of the 21st International Workshop on Description Logics (DL-2008)

Event Address*:

Dresden, Germany

URL of the conference:

http://dl.kr.org/dl2008/

Event Date*:
(no longer used):


URL for downloading the paper:

http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-353/Sofronie-Stokkermans.pdf

Event Start Date:

13 May 2008

Event End Date:

16 May 2008

Language:

English

Organization:


Publisher

Publisher's Name:

CEUR Workshop Proceedings

Publisher's URL:

http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/

Address*:

(operated under the umbrella of RWTH Aachen University with the support of Tilburg University)

Type:


Vol, No, pp., Year

Series:


Volume:


Number:


Month:


Pages:

11pages



Sequence Number:


Year*:

2008

ISBN/ISSN:

1613-0073





Abstract, Links, ©

URL for Reference:


Note:


(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}$ and also a new extension of ${\cal EL}^+$.

URL for the Abstract:

http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-353/Sofronie-Stokkermans.pdf



Tags, Categories, Keywords:

Automated Theorem Proving, Description Logic, Locality

HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


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-dl2008,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Baader, Franz and Lutz, Carsten and Motik, Boris},
TITLE = {Locality and subsumption testing in $\mathcal{EL}$ and some of its extensions},
BOOKTITLE = {Proceedings of the 21st International Workshop on Description Logics (DL-2008)},
PUBLISHER = {CEUR Workshop Proceedings},
YEAR = {2008},
PAGES = {11pages},
ADDRESS = {Dresden, Germany},
ISBN = {1613-0073},
}


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
03/20/2008 04:56:53 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
03/30/2009 12:03:43 PM
06/11/2008 01:14:17 PM
06/11/2008 01:09:21 PM
06/11/2008 01:08:27 PM
03/20/2008 04:56:53 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section