DMCA

Reasoning with Expressive Description Logics: Theory and Practice (2002)

by Ian Horrocks
Venue:In: Andrei Voronkov, (ed) Proc. 18th Int. Conf. on Automated Deduction (CADE-18
Citations:26 - 1 self