G. Stoilos, B. Cuenca Grau, and I. Horrocks, “How Incomplete Is Your Semantic Web Reasoner?”, AAAI, vol. 24, no. 1, pp. 1431-1436, Jul. 2010.