Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes

Despoina Magka, Yevgeny Kazakov, Ian Horrocks. Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. Journal of Automated Reasoning, 47(4):427-450, 2011. [doi]

Abstract

Abstract is missing.