"Principles and Practice of Semantic Web Reasoning, 2 conf., PPSWR 2004" - читать интересную книгу автора (Hans J. Ohlbach, Sebastian Schaffert)