Carsten Lutz

Latest

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