@inproceedings{MaKH10a, title = "Tractable Extensions of the Description Logic $\mathcal{EL}$ with Numerical Datatypes", author = "Despoina Magka and Yevgeny Kazakov and Ian Horrocks", year = "2010", booktitle = "Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2010)", editor = "J\"{u}rgen Giesl and Reiner H\"{a}hnle", pages = "61--75", publisher = "Springer", series = "Lecture Notes in Artificial Intelligence", url = "download/2010/MaKH10a.pdf", volume = "6173", }