一种用于形式化表示概念、关系与约束的逻辑体系。
描述逻辑像给武林门派立规矩：谁算同门、能练哪路功、犯了哪条算冲突，都得写死。
常用于知识建模和一致性检查；适合图谱、语义检索等规则场景。
Knowledge Representation描述逻辑是知识表示领域的重要形式化方法。
Ontology很多本体语言建立在描述逻辑的表达能力之上。
Knowledge Graph它能为知识图谱补上类型、关系和约束规则。