J. Tao, E. Sirin, J. Bao, and D. McGuinness, “Integrity Constraints in OWL”, AAAI, vol. 24, no. 1, pp. 1443-1448, Jul. 2010.