TY - BOOK AU - Kusters,Ralf TI - Non standard inferences in description logics T2 - LNCS 2100 SN - 3540423974 U1 - 006.3 LEC PY - 2001/// CY - Berlin PB - Springer N1 - Includes bibliographical references ER -