Completeness Guarantees for Incomplete Reasoners - Stoilos, G; Grau, B; Horrocks, I (Springer, 2010)