现任者 发表于 2025-4-1 05:43:29
http://reply.papertrans.cn/87/8697/869641/869641_61.pngneologism 发表于 2025-4-1 06:42:03
http://reply.papertrans.cn/87/8697/869641/869641_62.pngMonotonous 发表于 2025-4-1 12:09:21
http://reply.papertrans.cn/87/8697/869641/869641_63.png煤渣 发表于 2025-4-1 17:55:11
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 sinsincerity 发表于 2025-4-1 21:44:00
http://reply.papertrans.cn/87/8697/869641/869641_65.png