An ExpSpace Tableau-based Algorithm for SHOIQ - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2012

An ExpSpace Tableau-based Algorithm for SHOIQ

Abstract

In this work, we propose an ExpSpace tableau-based algorithm for deciding consistency of a knowledge base in the description logic 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 C^2.
Cer article propose un algorithme ExpSpace basé sur tableaux pour vérifier la cohérence d'une base de connaissances en SHOIQ.
Fichier principal
Vignette du fichier
optimal-shoiq.pdf (546.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00570161 , version 1 (27-02-2011)
inria-00570161 , version 2 (17-03-2011)
inria-00570161 , version 3 (02-06-2012)

Identifiers

  • HAL Id : inria-00570161 , version 3

Cite

Chan Le Duc, Myriam Lamolle, Olivier Curé. An ExpSpace Tableau-based Algorithm for SHOIQ. [Research Report] 2012, pp.36. ⟨inria-00570161v3⟩
279 View
352 Download

Share

Gmail Facebook X LinkedIn More