Integrating a modal logic of knowledge into terminological logics - Laux, Armin (1992)