Reasoning with Expressive Description Logics: Theory and Practice.

Ian Horrocks

Browse the full CADE paper archive.