A Worst-Case Optimal Tableaux-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 : 2011

A Worst-Case Optimal Tableaux-Based Algorithm for SHOIQ

Résumé

In this paper, we propose a novel tableaux-based algorithm for checking consistency of a $\mathcal{SHOIQ}$ knowledge base. This algorithm creates a structure consisting of a set of trees which are linked together by a partitioning function over the set of all the trees' nodes. This construction allows us to avoid building explicitly a graph with cycles and ensures that the size of created structures is exponential in size of SHOIQ knowledge bases. From this, we show that the novel algorithm is worst-case optimal for checking consistency of a SHOIQ knowledge base.
Cer article propose un algorithme optimal dans le pire des cas pour vérifier la cohérence d'une base de connaissances en SHOIQ.
Fichier principal
Vignette du fichier
novel-SHOIQ.pdf (190.58 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

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 1

Citer

Chan Le Duc, Myriam Lamolle, Olivier Curé. A Worst-Case Optimal Tableaux-Based Algorithm for SHOIQ. [Research Report] 2011, pp.19. ⟨inria-00570161v1⟩
284 Consultations
357 Téléchargements

Partager

Gmail Facebook X LinkedIn More