Approximating ALCN-Concept Descriptions.
Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan · 2002
Approximating a concept, defined in one DL, means to translate this concept to another concept, defined in a second typically l ess 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.