Nonstandard inferences in description logics: The story so far (2006)

by F Baader, R Küsters
Venue:Mathematical Problems from Applied Logic I, volume 4 of International Mathematical Series