Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Locality and Applications to Subsumption Testing in EL and Some of its Extensions

Sofronie-Stokkermans, V. (2013). Locality and Applications to Subsumption Testing in EL and Some of its Extensions. Scientific Annals of Computer Science, 23(2), 251-284. doi:10.7561/SACS.2013.2.251.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0017-BD75-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0019-8177-D
Genre: Zeitschriftenartikel
Latex : Locality and Applications to Subsumption Testing in {EL} and Some of its Extensions

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 the description logics EL and 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 TBox and CBox subsumption in EL and EL+. These locality considerations allow us to present a new family of (possibly many-sorted) logics which extend EL and EL+ with n-ary roles and/or numerical domains.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2013-122013
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Sofronie-Stokkermans-sacs2013
Anderer: Local-ID: F840E3FA6E8F889BC1257C69004B4765-Sofronie-Stokkermans-sacs2013
DOI: 10.7561/SACS.2013.2.251
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Scientific Annals of Computer Science
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Iasi : Alexandru Ioan Cuza University
Seiten: - Band / Heft: 23 (2) Artikelnummer: - Start- / Endseite: 251 - 284 Identifikator: ISSN: 2248 - 2695