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

by I Horrocks
Venue:CADE 2002, Proceedings of the 19th International Conference on Automated Deduction, no. 2392 in Lecture Notes in Artificial Intelligence