![](/img/cover-not-exists.png)
Optimizing Terminological Reasoning for Expressive Description Logics
Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-SchneiderVolume:
39
Language:
english
Pages:
40
DOI:
10.1007/s10817-007-9077-y
Date:
October, 2007
File:
PDF, 974 KB
english, 2007