Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描
逻
是一种知识表示
形式化语言,是一阶逻

判定子集。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
讯 2017年9月合集
力最新机试真题
(汇总)
力 2016年11月合集
力 2016年3月合集