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

判定子集。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。


人(汇总)
英语精读(第2版)第四册
60秒 听力 2016年11月合集
60秒 听力 2016年3月合集
60秒-科
美国人 2023年1月合集
英语