Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 20:42, 21 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Yevgeny Kazakov and Hans de Nivelle
    Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
    In: 2003 International Workshop on Description Logics (DL-03), Rome, Italy, September 5-7, 2003, 2003, 56-64
    [PDF: Download: SubDL.pdf]