DBLP:journals/jar/TsarkovHP07 + redirect page
Optimizing Terminological Reasoning for Expressive Description Logics + Has identifier
| Optimizing Terminological Reasoning for Expressive Description Logics |
Has publishing details
39(3):277-316, 2007
Has title
Optimizing Terminological Reasoning for Expressive Description Logics
Has url
http://www.informatik.uni-trier.de/~ley/db/journals/jar/jar39.html#TsarkovHP07
Has where published
J. Autom. Reasoning
Has year
2007
Has author
Dmitry Tsarkov +, Ian Horrocks +, Peter F. Patel-Schneider +
Has identifier
Optimizing Terminological Reasoning for Expressive Description Logics +
Categories Journal Paper +
|
