An ExpSpace Tableau-based Algorithm for SHOIQ - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

An ExpSpace Tableau-based Algorithm for SHOIQ

Résumé

In this paper, we propose an EXPSPACE tableau-based algorithm for SHOIQ. The construction of this algorithm is founded on the standard tableau-based method for SHOIQ and the technique used for designing a NEXPTIME algorithm for the two-variable fragment of first-order logic with counting quantifiers C2 .
Fichier principal
Vignette du fichier
DL2012Final.pdf (215.74 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00799028 , version 1 (11-03-2013)

Identifiants

  • HAL Id : hal-00799028 , version 1

Citer

Chan Le Duc, Myriam Lamolle, Olivier Curé. An ExpSpace Tableau-based Algorithm for SHOIQ. Description Logic 2012, Jun 2012, Rome, Italy. pp.11. ⟨hal-00799028⟩
146 Consultations
93 Téléchargements

Partager

More