Non-standard inferences in description logics
Networked Digital Library of Theses and Dissertations