Yevgeny Kazakov, Hans de Nivelle. Subsumption of Concepts in FL::0y:: for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. In Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi, editors, Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. Volume 81 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]
@inproceedings{KazakovN03,
title = {Subsumption of Concepts in FL::0y:: for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete},
author = {Yevgeny Kazakov and Hans de Nivelle},
year = {2003},
url = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/kazakov.pdf},
tags = {semantics, completeness},
researchr = {https://researchr.org/publication/KazakovN03},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003},
editor = {Diego Calvanese and Giuseppe De Giacomo and Enrico Franconi},
volume = {81},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}