Computing Least Common Subsumers in Expressive Description Logics

摘要

Computing least common subsumers in description logics is an important reasoning serive useful for a number of applications. As shown in the literature, this reasoning service can be used for the approximation of concept disjunctions in description lgoics, the "bottom-up" construction of knowledge bases, learning tasks, and for specific kinds of information retrieval. So far, computing the least common subsumer has been restricted to description logics with rather limited expressivity. In this article, we continue recent research on extending this operation to more complex languages and present a least common subsumer operator for the expressive description logic ALENR.