描述逻辑
- 网络description logic; DL; Description Logics
描述逻辑描述逻辑
description logic
在知识表示的研究中，描述逻辑(Description Logic)[1]是基于对象的知识表示的形式化工具，它是一阶谓词逻辑的可判定子集， …
DL
而描述逻辑(DL)是一个相当重要的知识表示语言，目前正被积极应用于本体描述，或者作为其他本体描述语言的基础。描述逻 …
Description Logics
描述逻辑（Description Logics）就是一种建立在一阶谓词逻辑之上的用于描述本体数学性质的形式化工具 。从表面上看来，描 …
Description Logics, DLs
描述逻辑（Description Logics, DLs）[33]是人工智能领域研究的一种重要的知识表示语言，目前正被积极应用于本体的描述。 …
descriptive logic
其中用到的逻辑称为描述逻辑（descriptive logic）。 目前，在计算机技术和应用的推动下，形式语义学的研究在西方发达国家 …
Description Logic,DL
描述逻辑( Description Logic,DL) ：基于对象的知识表示的形式化工具，是一阶 谓词逻辑的可判定子集，能够提供可判定的推理 …
1
2
3
4
5
6
8
12