First Steps Towards Taming Description Logics with Strings - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

First Steps Towards Taming Description Logics with Strings

Résumé

We consider the description logic ALCFP(D_Σ) over the concrete domain D_Σ with the strict prefix order over finite strings. Using an automata-based approach, we show that the concept satisfiability problem w.r.t. general TBoxes for ALCFP(D_Σ) is ExpTime-complete for all finite alphabets Σ. As far as we know, this is the first complexity result for an expressive description logic with a nontrivial concrete domain on strings.
Fichier principal
Vignette du fichier
final-jelia23.pdf (584.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04212642 , version 1 (20-09-2023)

Identifiants

  • HAL Id : hal-04212642 , version 1

Citer

Stéphane Demri, Karin Quaas. First Steps Towards Taming Description Logics with Strings. 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA'23), Sep 2023, Dresden (GERMANY), Germany. pp.322--337. ⟨hal-04212642⟩
98 Consultations
32 Téléchargements

Partager

Gmail Facebook X LinkedIn More