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

Publication
European Conference on Artificial Intelligence, ECAI