Text this: Non-standard inferences in description logics /