with Baader, F. , 2006, Nonstandard inferences in description logics: the story so far, in D. M. Gabbay, S. Goncharov & M. Zakharyaschev (eds.), Mathematical problems from applied logic I, Dordrecht, Springer, pp. 1-75.