常見例句雙語(yǔ)例句Continuous first-order logic is an analog of classical first-order logic.連續(xù)一階邏輯是經(jīng)典一階邏輯的一個(gè)類比。Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.描述邏輯是一種知識(shí)表示的形式化語(yǔ)言，是一階邏輯的可判定子集。Description logics are fragments of the first-order logic, which contain concepts, roles, and concept and role constructors; and have features of strong expressivity and decidable reasoning.描述邏輯是包含了概念、角色以及概念和角色構(gòu)造子的一階邏輯的子邏輯，具有表達(dá)能力強(qiáng)且推理可判定的特征。blog.sina.com.cn 返回 first-order logic