Nonstandard inferences in description logics

the story so far

2006

Franz Baader, Ralf Küsters

in: Mathematical problems from applied logic I, Berlin,