PSPACE Automata for Description Logics

8 years 9 months ago
PSPACE Automata for Description Logics
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this result can be improved, and we define two classes of automata, called segmentable and weakly-segmentable, for which emptiness can be decided using space logarithmic in the size of the automaton (and thus polynomial in the size of the input). The usefulness of segmentable automata is demonstrated by reproving the known PSpace result for satisfiability of ALC concepts with respect to acyclic TBoxes.
Jan Hladik, Rafael Peñaloza
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where DLOG
Authors Jan Hladik, Rafael Peñaloza
Comments (0)