描述逻辑

描述逻辑 （正體）

描述逻辑（Description Logic）是一种逻辑语言。

描述逻辑是一阶逻辑的一个子集，其特点是可判定性，也即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。

一个描述逻辑系统中的名字可分为概念（Concept），属性（Role）和个体（Individual）。例如，一个用描述逻辑描述的知识库如下

• 男人 人 （男人 是 人）
• 丈夫 男人 婚配于.人 （丈夫是 婚配于 至少一个 人 的 男人）
• 男人(张三) （张三是一个男人）

其中，“男人”，“人”，“丈夫”是概念，“婚配于”是属性，“张三”是个体。

描述逻辑是当前语义网发展中本体的理论基础。例如，OWL万维网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。

参见

• ALC
• SHIOQ (D)
• Pellet
• FaCT
• OWL
• Racer

外部链接

• kr.org的描述逻辑页面
• Navigator on Description Logic Complexity

Why are we here?
All text is available under the terms of the GNU Free Documentation License
This page is cache of Wikipedia. History