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

by F Baader
Venue:Mathematical Problems from Applied Logic I