Complexity of Subsumption in the $mathcalEL$ Family of Description Logics: Acyclic and Cyclic TBoxes

Christoph Haase, Carsten Lutz
January 2008
PDF DOI
Type
Conference paper
Publication
European Conference on Artificial Intelligence, ECAI