Nguyen, L., Nguyen, L., & Szałas, A. 2015 Jan 6. A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse. VNU Journal of Science: Computer Science and Communication Engineering. [Online] 30:4