Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描

是一种知识表示
形式化语言,是一


可判定子集。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
机试真题 These tools may rely more on knowledge of artificial intelligence than of the subjunctive, but linguistic expertise still matters, and may give budding programmers an edge over rivals whose best language is Python.
这些工具或许更多地依赖于人工智能的知识,而不
虚拟的知识,但语言专业知识仍然很重要,并且它可能

手程序员比那些只擅长编程语言而不懂其它语言(最擅长的语言
Python)的对手更具优势。