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