Set Description Languages and Reasoning about Numerical Features of Sets.
Hans Jürgen Ohlbach · 1999
In this paper a combination methodology is presented, which allows one to use arithmetical algorithms for reasoning about numerical features of sets specied with the description logic ALC and a few of its variants. The methodology itself can be extended to other set description languages.