Practical Reasoning for Expressive Description Logics.

Ian Horrocks, Ulrike Sattler, Stephan Tobies

Browse the full LPAR paper archive.