Tractable Extensions of the Description Logic EL with Numerical Datatypes
Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks
Book Title
Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2010)
Editor
Jürgen Giesl and Reiner Hähnle
Pages
61–75
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Volume
6173
Year
2010