Kazakov, Yevgeny Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-2003-2-003.pdf (Any fulltext), 249KB
Kazakov, Y., & de Nivelle, H.(2003). Subsumption of concepts in $DL$ ${\cal FL}_0$ for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete (MPI-I-2003-2-003). Saarbrücken: Max-Planck-Institut für Informatik.