 |
|
| HAL : inria-00570161, version 3 |
| Voir la fiche détaillée |  BibTeX,EndNote,... |
 |
| Versions disponibles | v1 (17-03-2011) | v2 (23-03-2011) | v3 (04-06-2012) |
|
|
|
|
| An ExpSpace Tableau-based Algorithm for SHOIQ |
|
|
| Chan Le Duc 1Myriam Lamolle 1, 2 |
|
|
| (02/06/2012) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Avancée de Saint-Denis (LIASD) |
|
|
|
Université Paris VIII - Vincennes Saint-Denis : EA4383 |
|
|
| 2 : | Technologies et Communications (LINC) |
|
|
|
IUT |
|
|
| 3 : | Laboratoire d'Informatique Gaspard-Monge (LIGM) |
|
|
|
Université Paris-Est Marne-la-Vallée (UPEMLV) – ESIEE – Ecole des Ponts ParisTech – Fédération de Recherche Bézout – CNRS : UMR8049 |
|
|
|
|
|
|
|
|
|
| Domaine | : | Sciences de l'Homme et Société/Sciences de l'information et de la communication Informatique/Intelligence artificielle |
|
|
| Tableaux – Description logics – Consistency – Complexity |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| inria-00570161, version 3 | |
| http://hal.inria.fr/inria-00570161 | |
| oai:hal.inria.fr:inria-00570161 | |
| Contributeur : Chan Le Duc | |
| Soumis le : Samedi 2 Juin 2012, 11:38:07 | |
| Dernière modification le : Samedi 14 Juillet 2012, 09:02:02 | |
