Skip to main content

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

Christoph Haase and Carsten Lutz

Book Title
European Conference on Artificial Intelligence‚ ECAI
Pages
25–29
Publisher
IOS Press
Series
Frontiers in Artificial Intelligence and Applications
Volume
178
Year
2008