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.
| Origin | Files produced by the author(s) |
|---|
Loading...