An ExpSpace Tableau-based Algorithm for SHOIQ - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2012

An ExpSpace Tableau-based Algorithm for SHOIQ

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00570161 , version 3

Citer

Chan Le Duc, Myriam Lamolle, Olivier Curé. An ExpSpace Tableau-based Algorithm for SHOIQ. [Research Report] 2012, pp.36. ⟨inria-00570161v3⟩
284 Consultations
357 Téléchargements

Partager

Gmail Facebook X LinkedIn More