for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.

Yevgeny Kazakov Hans de Nivelle

Published in: Description Logics (2003)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
strips planning
fixed point semantics
semantic information
computational complexity
coalition logic