Design and implementation of P2P reasoning system based on description logic. - Hai Wan; Yang Yu 027; Jian-Tian Zheng (Int. J. Ad Hoc Ubiquitous Comput., 2013)