Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes

Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes