Definition
描述逻辑（DL）是一阶逻辑的可判定片段，构成了本体论的理论基础，特别是网络本体语言（OWL）。它们允许对概念及其关系进行精确定义和自动推理。
Summary
一类形式化的知识表示语言，用于表示和推理领域的概念结构。
Key Concepts
- 本体论
- 推理
- 包含关系
- 概念层次结构
Use Cases
- 构建语义网本体
- 医学知识图谱
- 自动分类系统
A comprehensive multilingual AI terminology dictionary
描述逻辑（DL）是一阶逻辑的可判定片段，构成了本体论的理论基础，特别是网络本体语言（OWL）。它们允许对概念及其关系进行精确定义和自动推理。
一类形式化的知识表示语言，用于表示和推理领域的概念结构。