Representation and Verification of Attribute Knowledge. - Chunxia Zhang 001; Zhendong Niu; Chongyang Shi 001; Mengdi Tan; Hongping Fu; Sheng Xu (KSEM, 2013)