Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Subsumption of Concepts in FL_0 for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete

Kazakov, Y., & de Nivelle, H. (2003). Subsumption of Concepts in FL_0 for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. In 2003 International Workshop on Description Logics (DL-03) (pp. 56-64). Aachen, Germany: CEUR.

Item is

Dateien

einblenden: Dateien
ausblenden: Dateien
:
SubDL.pdf (beliebiger Volltext), 154KB
 
Datei-Permalink:
-
Name:
SubDL.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Kazakov, Yevgeny1, Autor           
de Nivelle, Hans1, Autor           
Calvanese, Diego, Herausgeber
De Giacomo, Giuseppe, Herausgeber
Franconi, Enrico, Herausgeber
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We close the gap in the complexity classification of subsumption in the simple description logic ${\cal FL}_0$, which allows for conjunctions and universal value restriction only. We prove that the subsumption problem in ${\cal FL}_0$ is PSPACE-complete for descriptive semantics when cyclic definitions are allowed. Our proof uses automata theory and as a by-product we establish the PSPACE-completeness of a certain decision problem for regular languages.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2004-06-222003
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 202032
Anderer: Local-ID: C1256104005ECAFC-746B1C632282C1C9C1256E23006ADC00-Kazakov03SubsumptionFLzero
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: DL 2003
Veranstaltungsort: Rome, Italy
Start-/Enddatum: 2003-09-05 - 2003-09-07

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: 2003 International Workshop on Description Logics (DL-03)
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Aachen, Germany : CEUR
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 56 - 64 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