Kutz, O., & Mossakowski, T. (2011). A Modular Consistency Proof for DOLCE. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 227–234. https://doi.org/10.1609/aaai.v25i1.7860