DBLP:journals/corr/cs-LO-0005013 + redirect page
Practical Reasoning for Very Expressive Description Logics + Has identifier
| Practical Reasoning for Very Expressive Description Logics |
Has publishing details
cs.LO/0005013, 2000
Has title
Practical Reasoning for Very Expressive Description Logics
Has url
http://www.informatik.uni-trier.de/~ley/db/journals/corr/corr0005.html#cs-LO-0005013
Has where published
CoRR
Has year
2000
Has author
Ian Horrocks +, Ulrike Sattler +, Stephan Tobies +
Has identifier
Practical Reasoning for Very Expressive Description Logics +
Categories Journal Paper +
|
