Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  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 F. Baader, C. Lutz, & B. Motik (Eds.), Proceedings of the 21st International Workshop on Description Logics (DL-2008) (pp. Art.31.1-11). Aachen: CEUR.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1C1D-F Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-BBD8-1
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Sofronie-Stokkermans, Viorica1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 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}$ and also a new extension of ${\cal EL}^+$.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2009-03-312008
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 428283
URI: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-353/Sofronie-Stokkermans.pdf
Anderer: Local-ID: C125756E0038A185-1292BD240D7015EFC125741200579B2D-Sofronie-Stokkermans-dl2008
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Dresden, Germany
Start-/Enddatum: 2008-05-13 - 2008-05-16

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 21st International Workshop on Description Logics (DL-2008)
Genre der Quelle: Konferenzband
 Urheber:
Baader, Franz1, Herausgeber           
Lutz, Carsten, Herausgeber
Motik, Boris, Herausgeber
Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Ort, Verlag, Ausgabe: Aachen : CEUR
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: Art.31.1 - 11 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: CEUR Workshop Proceedings
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1613-0073