User Tools

Site Tools

Approximating $mathcalALCN$-Concept Descriptions

S. Brandt, R. Küsters, and A.-Y. Turhan

Approximating a concept, defined in one DL, means to translate this concept to another concept, defined in a second typically less expressive DL, such that both concepts are as closely related as possible with respect to subsumption. In a previous work, we have provided an algorithm for approximating ALC-concept descriptions by ALE-concept descriptions. In the present paper, motivated by an application in chemical process engineering, we extend this result by taking number restrictions into account.