查看“︁描述逻辑”︁的源代码

'''描述逻辑'''（'''description logic'''）是一種用于知识表示的[[逻辑语言]]和以其为对象的[[推理方法]]，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前[[语义网]]发展中[[本体]]的理论基础。例如，[[网络本体语言|OWL]]因特网[[本体]]语言就是一种描述逻辑[[SHIOQ (D)]]的语法形式。

描述逻辑根据其表达能力的程度不同，形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着[[一阶逻辑]]的一个可判定性的片段（fragment），即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。只有极少数的描述逻辑类型被认为是不可判定的<ref>{{Cite web |url=http://www.cs.man.ac.uk/~ezolin/dl/ |title=存档副本 |access-date=2007-06-18 |archive-date=2007-08-17 |archive-url=https://web.archive.org/web/20070817040928/http://www.cs.man.ac.uk/~ezolin/dl/ |dead-url=no }}</ref>。

一个描述逻辑系统中的名字可分为概念（concept），属性（role）和个体（individual）。例如，一个用描述逻辑描述的知识库如下：
* 男人 <math>\sqsubseteq</math> 人  （男人 是 人）
* 丈夫 <math>\sqsubseteq</math> 男人 <math>\sqcap</math> <math>\exists</math> 婚配于.人 （丈夫是 婚配于 至少一个 人 的 男人）
* 男人(张三) （张三是一个男人）

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

== 参考文献 ==
{{Reflist}}

== 外部链接 ==
* [http://dl.kr.org/ kr.org的描述逻辑页面] {{Wayback|url=http://dl.kr.org/ |date=20210312092146 }}
* [http://www.cs.man.ac.uk/~ezolin/dl/ Navigator on Description Logic Complexity] {{Wayback|url=http://www.cs.man.ac.uk/~ezolin/dl/ |date=20070817040928 }}
* [http://www.cs.man.ac.uk/~ezolin/dl/news.html] {{Wayback|url=http://www.cs.man.ac.uk/~ezolin/dl/news.html |date=20200223204740 }}

== 参见==
* [[ALC]]
* [[SHIOQ (D)]]
* [[Pellet]]
* [[FaCT]]
* [[网络本体语言|OWL]]
* [[Racer]]

{{-}}
{{逻辑}}
{{语义网}}

[[category:邏輯語言]]
[[Category:知识表示]]