A new approach to the semantics of description logics, using concept algebras, was introduced in [Dionne et al., 1992b]. In that approach, the terms of a description logic, i.e., concept descriptions, were viewed as elements of a free algebra. In the context of a given knowledge base possibly involving cycles, an intensional semantics was given by mapping every concept description to a possibly...
