An ExpSpace Tableau-based Algorithm for SHOIQ - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

An ExpSpace Tableau-based Algorithm for SHOIQ


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-00799028 , version 1


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⟩
124 View
65 Download


Gmail Facebook Twitter LinkedIn More