描述逻辑（description logic）是一種用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如，OWL因特网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。
描述逻辑根据其表达能力的程度不同，形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑的一个可判定性的片段（fragment），即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。只有极少数的描述逻辑类型被认为是不可判定的[1]。
一个描述逻辑系统中的名字可分为概念（concept），属性（role）和个体（individual）。例如，一个用描述逻辑描述的知识库如下：
- 男人 人 （男人 是 人）
- 丈夫 男人 婚配于.人 （丈夫是 婚配于 至少一个 人 的 男人）
- 男人(张三) （张三是一个男人）
其中，“男人”、“人”、“丈夫”是概念，“婚配于”是属性，“张三”是个体。
参考文献 - ^ 存档副本. [2007-06-18]. （原始内容于2007-08-17）.
外部链接 - kr.org的描述逻辑页面 （页面存档备份，存于互联网档案馆）
- Navigator on Description Logic Complexity （页面存档备份，存于互联网档案馆）
- [1] （页面存档备份，存于互联网档案馆）
参见 描述逻辑, description, logic, 是一種用于知识表示的逻辑语言和以其为对象的推理方法, 主要用于描述概念分类及其概念之间的关系, 方法多数被用到涉及知识分类的应用领域, 如数字图书馆和面向万维网的信息处理, 是当前语义网发展中本体的理论基础, 例如, owl因特网本体语言就是一种shioq, 的语法形式, 根据其表达能力的程度不同, 形成不同的逻辑子语言, 绝大多数的类型都可以被看成对应着一阶逻辑的一个可判定性的片段, fragment, 即每个中的命题都可以在有限时间内完成证明或证否, 只有极少. 描述逻辑 description logic 是一種用于知识表示的逻辑语言和以其为对象的推理方法 主要用于描述概念分类及其概念之间的关系 描述逻辑方法多数被用到涉及知识分类的应用领域 如数字图书馆和面向万维网的信息处理 描述逻辑是当前语义网发展中本体的理论基础 例如 OWL因特网本体语言就是一种描述逻辑SHIOQ D 的语法形式 描述逻辑根据其表达能力的程度不同 形成不同的逻辑子语言 绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑的一个可判定性的片段 fragment 即每个描述逻辑中的命题都可以在有限时间内完成证明或证否 只有极少数的描述逻辑类型被认为是不可判定的 1 一个描述逻辑系统中的名字可分为概念 concept 属性 role 和个体 individual 例如 一个用描述逻辑描述的知识库如下 男人 displaystyle sqsubseteq 人 男人 是 人 丈夫 displaystyle sqsubseteq 男人 displaystyle sqcap displaystyle exists 婚配于 人 丈夫是 婚配于 至少一个 人 的 男人 男人 张三 张三是一个男人 其中 男人 人 丈夫 是概念 婚配于 是属性 张三 是个体 参考文献 编辑 存档副本 2007 06 18 原始内容存档于2007 08 17 外部链接 编辑kr org的描述逻辑页面 页面存档备份 存于互联网档案馆 Navigator on Description Logic Complexity 页面存档备份 存于互联网档案馆 1 页面存档备份 存于互联网档案馆 参见 编辑ALC SHIOQ D Pellet FaCT OWL Racer 取自 https zh wikipedia org w index php title 描述逻辑 amp oldid 74046044, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。