An ExpSpace Tableau-based Algorithm for SHOIQ
Abstract
In this paper, we propose an EXPSPACE tableau-based algorithm for 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 C2 .
Domains
Artificial Intelligence [cs.AI]
Origin : Files produced by the author(s)
Loading...