Titlebook: Social Media Processing; 5th National Confere Yuming Li,Guoxiong Xiang,Mingwen Wang Conference proceedings 2016 Springer Nature Singapore P

現(xiàn)任者

neologism

Monotonous

煤渣

Changjun Fan,Zhong Liu,Baoxin Xiu,Lianfei Yu models) and for the inference services (like concept subsumption, instantiation, classification, and realization) of terminological systems of the KL-ONE family. It has been demonstrated that terminological reasoning can be realized by efficient and logically complete algorithms based on tableaux s

insincerity