本体推理与描述逻辑
第 24 章 · 知识图谱
本体用类（概念）、属性（角色）、约束描述领域，其形式语义由描述逻辑（Description Logic, DL）给出；OWL 与特定 DL 对应，可在逻辑上做可满足性与分类等推理。推理机（HermiT、Pellet、RDFox 等）自动完成这些任务，但不同 DL 的复杂度与可扩展性差异很大。本章讲清 DL 与 OWL 的对应、可满足性与分类、主流推理机、以及推理的复杂度与扩展策略。
一、描述逻辑（DL）与 OWL 的对应
描述逻辑是一族基于逻辑的知识表示语言，核心是概念（Class）与角色（Role/Property），以及由它们构成的构造子：交（C⊓D）、并（C⊔D）、非（¬C）、存在约束（∃R.C）、全称约束（∀R.C）、数量约束（≥n R.C）等。知识库分为TBox（术语层：概念与角色的定义与公理）和ABox（断言层：个体属于某概念、个体间有某关系）。
OWL 2 与描述逻辑 SROIQ（及子语言 OWL 2 DL）对应：OWL 的 Class、ObjectProperty、子类、等价类、disjoint、domain/range、cardinality 等都有 DL 语义。OWL 2 EL、QL、RL 是面向不同权衡的剖面（profile），推理复杂度更低、适合大规模。理解 DL 有助于正确建模本体与选择推理机。
DL 简记： 概念 C,D；角色 R。构造子：C⊓D（交）、C⊔D（并）、¬C（非）、∃R.C（存在）、∀R.C（全称）、≥n R.C（至少 n 个）。TBox = 概念/角色公理；ABox = 个体断言。OWL 2 ↔ SROIQ/DL。
描述逻辑与 OWL 对应：概念/角色与构造子 ↔ OWL 类/属性与公理；TBox/ABox
二、可满足性与分类
可满足性（Satisfiability）：给定概念 C 与知识库 K，问是否存在解释（模型）使 C 非空。若 C 不可满足，则 C 等价于「空类」，说明本体设计有矛盾。知识库可满足性：问 K 是否有模型；若无则 K 不一致。
分类（Classification）：计算 TBox 中所有概念之间的子类关系——即推出所有满足 C ⊑ D 的 (C, D) 对。分类完成后，查询「C 是否子类于 D」可查表得到。许多推理机在加载本体后先做一次分类，再支持实例检测与检索。
实例检测（Instance Checking）：给定个体 a 与概念 C，问 K 是否蕴含 a 属于 C。与 ABox 断言和 TBox 推理结合，可得到所有个体被推导出的类型。
可满足性：KB → 推理机 → 是否一致；分类：计算所有子类关系；实例检测：个体是否属于某概念
三、推理机：HermiT、Pellet、RDFox 等
HermiT：基于超表列（Hypertableau）的 OWL 2 DL 推理机，支持可满足性、分类与实例检测；适合复杂本体，规模较大时可能较慢。
Pellet：支持 OWL 2 DL 与规则（SWRL）；表列与规则结合；提供解释（explanation）功能，便于调试本体。
RDFox：支持 RDF 与 OWL、以及规则与 Datalog；内存中推理、可增量；适合大规模数据与规则混合场景。
其他：FaCT++（表列、OWL 2 DL）；Konclude（高性能、大规模）；OWL 2 EL 专用推理机（如 ELK）针对 EL profile 可高效分类。选型需考虑本体语言（全 DL vs EL/QL/RL）、数据规模与是否需要规则或解释。
HermiT
Hypertableau; OWL 2 DL; satisfiability, classification, instances.
Pellet
Tableau + SWRL; explanations; OWL 2 DL.
RDFox
RDF/OWL + rules; in-memory; incremental; scale.
FaCT++ / ELK
Tableau; EL profile for fast classification.
四、推理的复杂度与可扩展性
描述逻辑的推理复杂度与所选构造子有关：OWL 2 DL（SROIQ）的可满足性为N2EXPTIME；OWL 2 EL 为多项式；OWL 2 QL 针对 conjunctive query 可 FO-重写；OWL 2 RL 可与规则引擎结合。表达力越强， worst-case 复杂度越高，大规模时可能需可扩展性策略。
策略包括：选用 Profile（EL/QL/RL）在表达力与规模间权衡；模块化——只对相关子本体推理；增量推理——仅对变更部分重算；物化后查询——离线做分类与实例物化，在线只查表；近似——放弃完备性换速度。工程上常把「重推理」放在离线或异步，在线只做轻量查询。
复杂度与扩展小结
OWL 2 DL: high complexity; EL/QL/RL: lower. Scale via profile, modularity, incrementality, materialization, or approximation.
表达力与复杂度权衡：全 DL 高复杂度；EL/QL/RL 降复杂度换规模；可扩展性策略
一句话： 描述逻辑用概念、角色与构造子给出本体形式语义；OWL 2 对应 SROIQ/DL，有 EL/QL/RL 剖面。可满足性与分类是核心任务；推理机（HermiT、Pellet、RDFox、FaCT++、ELK）实现表列或规则。复杂度随表达力升高；可扩展性靠 Profile、模块化、增量、物化或近似。
实践： 用 Protégé 加载一个小 OWL 本体（含子类、disjoint、存在约束），用 HermiT 或 Pellet 做分类并查看推理出的类层次；再添加一个会导致不可满足的约束，观察推理机报错。
五、小结
描述逻辑与OWL对应，提供形式语义；可满足性与分类是本体推理的核心。推理机如 HermiT、Pellet、RDFox 实现不同算法与规模特性；复杂度与表达力权衡，可扩展性依赖 Profile 与工程策略。下一章讲知识图谱补全与链接预测：预测缺失三元组、规则与表示学习方法、以及评估指标。