An ExpSpace Tableau-based Algorithm for SHOIQ

Abstract : 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 .
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-upec-upem.archives-ouvertes.fr/hal-00799028
Contributor : Olivier Curé <>
Submitted on : Monday, March 11, 2013 - 12:57:30 PM
Last modification on : Tuesday, May 22, 2018 - 8:40:06 PM
Long-term archiving on : Monday, June 17, 2013 - 11:37:36 AM

File

DL2012Final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00799028, version 1

Citation

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⟩

Share

Metrics

Record views

268

Files downloads

129