Reasoning with Axioms: Theory and Practice.

Ian Horrocks, Stephan Tobies

Browse the full KR paper archive.