Nguyen, Linh, Loc Nguyen, & Andrzej Szałas. " 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 (2014): n. pag. Web. 22 Dec. 2024