Kutz, O.; Mossakowski, T. A Modular Consistency Proof for DOLCE. AAAI 2011, 25, 227-234.