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:




Library Locked Library locked




Author, Editor

Author(s):

Gasse, Francis
Sofronie-Stokkermans, Viorica

dblp
dblp



Editor(s):

Rosati, Riccardo
Rudolph, Sebastian
Zakharyaschev, Michael

dblp
dblp
dblp

Not MPII Editor(s):

Rosati, Riccardo
Rudolph, Sebastian
Zakharyaschev, Michael

BibTeX cite key*:

Gasse-Sofronie-Stokkermans-dl2011

Title, Conference

Title*:

Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0

Booktitle*:

Proceedings of the 2011 International Workshop on Description Logics (DL-2011)

Event Address*:

Barcelona, Spain

URL of the conference:

http://www.dis.uniroma1.it/~dl2011/

Event Date*:
(no longer used):


URL for downloading the paper:

http://ceur-ws.org/Vol-745/paper_50.pdf

Event Start Date:

13 July 2011

Event End Date:

16 July 2011

Language:

English

Organization:


Publisher

Publisher's Name:

CEUR Workshop Proceedings

Publisher's URL:

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

Address*:

Aachen, Germany

Type:


Vol, No, pp., Year

Series:

CEUR Workshop Proceedings

Volume:

745

Number:


Month:

June

Pages:

125-135



Sequence Number:


Year*:

2011

ISBN/ISSN:






Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) Abstract:

We study possibilities of combining (fragments) of the lightweight description logics ${\cal F}{\cal L}_0$ and
${\cal E}{\cal L}$, and identify classes of subsumption
problems in a combination of ${\cal E}{\cal L}$ and
Horn-${\cal F}{\cal L}_0$, which can be
checked in PSPACE resp. PTIME.
Since ${\cal F}{\cal L}_0$ allows universal role restrictions
and ${\cal E}{\cal L}$ allows existential role restrictions,
we thus have a framework where subsumption between
expressions including both types
of role restrictions (but for disjoint sets of roles) can be checked in polynomial
space or time.

URL for the Abstract:




Tags, Categories, Keywords:


HyperLinks / References / URLs:

http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-745/

Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

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

BibTeX Entry:
@INPROCEEDINGS{Gasse-Sofronie-Stokkermans-dl2011,
AUTHOR = {Gasse, Francis and Sofronie-Stokkermans, Viorica},
EDITOR = {Rosati, Riccardo and Rudolph, Sebastian and Zakharyaschev, Michael},
TITLE = {Efficient {TBox} Subsumption Checking in Combinations of {EL} and (fragments of) {FL0}},
BOOKTITLE = {Proceedings of the 2011 International Workshop on Description Logics (DL-2011)},
PUBLISHER = {CEUR Workshop Proceedings},
YEAR = {2011},
VOLUME = {745},
PAGES = {125--135},
SERIES = {CEUR Workshop Proceedings},
ADDRESS = {Barcelona, Spain},
MONTH = {June},
}


Entry last modified by Anja Becker, 03/22/2012
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)
[Library]
Created
07/07/2011 11:58:54 AM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Anja Becker
Manuel Lamotte-Schubert
Manuel Lamotte-Schubert
Edit Dates
22.03.2012 15:30:26
16.03.2012 13:15:22
16.03.2012 13:14:47
25.01.2012 14:53:58
07/07/2011 11:58:54 AM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section