Non-standard inferences in description logics - Küsters, Ralf (Springer, 2001)
Zugl.: Aachen, Techn. Hochsch., Diss., 2000