Nguyen, L., Nguyen, L., & Szałas, A. (2015). A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse. VNU Journal Of Science: Computer Science And Communication Engineering, 30(4). Retrieved from //jcsce.vnu.edu.vn/index.php/jcsce/article/view/29