A. Mehdi and S. Rudolph, “Revisiting Semantics for Epistemic Extensions of Description Logics”, AAAI, vol. 25, no. 1, pp. 241–246, Aug. 2011.