1. Bak, J., Nowak, M., Jedrzejek, C.: Graph-based editor for SWRL rule bases. In: RuleML (2) (2013)
2. Benaissa, M., Lebbah, Y.: A constraint programming based approach to detect ontology inconsistencies. Int. Arab J. Inf. Technol. 8(1), 1–8 (2011)
3. Boujelben, A., Amous, I.: A new method for rules dependency extraction. In: 22nd International Conference on Knowledge Based and Intelligent Information Engineering Systems. Elsevier (2018)
4. Cheng, M.Y., Huang, C.J.: A novel approach for treating uncertain rule-based knowledge conflicts. J. Inf. Sci. Eng. 25(2), 649–663 (2009)
5. Cota, É., Ribeiro, L., Bezerra, J.S., Costa, A., da Silva, R.E., Cota, G.: Using formal methods for content validation of medical procedure documents. Int. J. Med. Inform. 104, 10–25 (2017)