"Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis " - читать интересную книгу автора (Ralf Küsters)