描述逻辑
描述逻辑是一系列形式化知识表示语言，是一阶逻辑的可判定片段，用于定义概念并进行分类和一致性推理，尤其作为语义网本体语言的基础。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
描述逻辑是一种基于逻辑的形式化方法，用于表示领域中的概念（类）、角色（关系）和个体，具有精确的模型论语义，使得概念蕴含等推理任务可判定。
Scope
本主题涵盖描述逻辑家族：概念、角色和个体；术语知识（概念定义的TBox）与断言知识（关于个体的ABox事实）之间的区别；标准推理服务，如蕴含、分类、一致性和实例检查；以及从轻量级逻辑到作为Web本体语言（OWL）基础的表达性逻辑的表达能力与复杂性谱系。非正式的结构化表示在语义网络和本体中进行处理。
Core questions
- 概念如何通过合取、限制和量化等构造器从原子概念和角色组合构建？
- 术语公理的TBox与断言的ABox之间有什么区别？
- 描述逻辑推理器提供哪些标准推理服务（蕴含、分类、一致性、实例检查）？
- 表达能力的增加如何提高推理的计算复杂性？
Key concepts
- 概念、角色、个体
- TBox和ABox
- 概念构造器和限制
- 蕴含
- 分类
- 一致性和实例检查
- OWL和语义网
- 一阶逻辑的可判定片段
Key theories
- TBox/ABox分离
- 描述逻辑知识库将术语知识（TBox中的概念和角色定义）与断言知识（ABox中关于特定个体的事实）区分开来，从而能够对模式和数据进行独立但相互作用的推理。
- 蕴含和自动分类
- 描述逻辑的核心推理是蕴含，即判断一个概念是否必然比另一个概念更普遍，这使得推理器能够自动将概念组织成一个分类层次结构并检测不一致性。
- 表达能力-复杂性权衡
- 描述逻辑被特意选择为一阶逻辑的可判定片段，添加构造器会以明确的推理复杂性成本增加表达能力，从而指导了OWL配置文件等本体语言的设计。
Clinical relevance
描述逻辑是Web本体语言（OWL）的正式骨干，因此也是生物医学（如SNOMED CT）、语义网和企业知识图谱中大型本体的骨干，在这些领域中，自动化分类和一致性检查保持了大型词汇表的连贯性。
History
描述逻辑源于结构化表示，如Brachman和Schmolze的KL-ONE（1985），当时研究人员寻求为基于框架和网络的系统提供形式语义和可判定性。在20世纪90年代至2000年代，它们的复杂性得到了精确的映射，并被采纳为W3C Web本体语言（OWL）的基础。
Key figures
- Ronald J. Brachman
- Franz Baader
- Ian Horrocks
- Diego Calvanese
- Deborah McGuinness
Related topics
Seminal works
- brachman1985
- baader2007
Frequently asked questions
- 描述逻辑与一阶逻辑有何关系？
- 描述逻辑是一阶逻辑中经过精心选择的片段。它们牺牲了一些表达能力，以便关键的推理任务（例如判断概念之间的蕴含关系）保持可判定且通常高效，而完整的一阶逻辑无法保证这一点。
- TBox和ABox有什么区别？
- TBox包含术语知识，即关于概念和角色的定义和一般公理，而ABox包含关于特定个体的断言。推理同时使用两者：TBox描述了世界的结构方式，ABox描述了该结构内的具体事实。