Reasoning on expressive description logics with arithmetic constraints | IEEE Conference Publication | IEEE Xplore