O. Kutz and T. Mossakowski, “A Modular Consistency Proof for DOLCE”, AAAI, vol. 25, no. 1, pp. 227-234, Aug. 2011.