Evaluating a Modular Abox Algorithm.

Sergio Tessaris, Ian Horrocks, Graham Gough

Browse the full KR paper archive.