 |
|
| HAL: inria-00570161, version 3 |
| See detailed view |  BibTeX,EndNote,... |
 |
| Available versions | v1 (2011-03-17) | v2 (2011-03-23) | v3 (2012-06-04) |
|
|
|
|
| An ExpSpace Tableau-based Algorithm for SHOIQ |
|
|
| Chan Le Duc 1Myriam Lamolle 1, 2 |
|
|
| (2012-06-02) |
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Domain | : | Humanities and Social Sciences/Library and information sciences Computer Science/Artificial Intelligence |
|
|
| Tableaux – Description logics – Consistency – Complexity |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| inria-00570161, version 3 | |
| http://hal.inria.fr/inria-00570161 | |
| oai:hal.inria.fr:inria-00570161 | |
| From: Chan Le Duc | |
| Submitted on: Saturday, 2 June 2012 11:38:07 | |
| Updated on: Saturday, 14 July 2012 09:02:02 | |
