Xiuqin Zhong, Hongguang Fu, Yan Jiang. Coupling Ontology with Rule-Based Theorem Proving for Knowledge Representation and Reasoning. In Yanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-Il Chung, Tughrul Arslan, Xiaofeng Song, editors, Database Theory and Application, Bio-Science and Bio-Technology - International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings. Volume 118 of Communications in Computer and Information Science, pages 110-119, Springer, 2010. [doi]
Abstract is missing.