Subsumption of Concepts in FL<sub>0y</sub> for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.

Yevgeny Kazakov Hans de Nivelle Subsumption of Concepts in FL<sub>0y</sub> for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. 2003 conf/dlog/2003 Description Logics http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/kazakov.pdf db/conf/dlog/dlog2003.html#KazakovN03