Title: Non-Standard Inferences in Description Logics
Subjects: Description logics, Artificial intelligence, Predicate (logic), Knowledge representation (information theory), Predicate (Logic), Knowledge representation (Information theory)