先词表再花名册：TBox、RBox 与 ABox

你最顺手的，往往是「一张表里什么都有」。

OWL 与描述逻辑传统却坚持拆三层：TBox 只谈类与类之间的必然结构，RBox 只谈关系类型自身的规律，ABox 才点名具体个体、写下事实。混写不是语法错误，是治理错误：改一条子类关系会牵动全体推理边界，而灌一条实例不该触发同等级别的发布恐慌。

一句话收束：没有 T+R 钉死的词与关系，你的「图谱」只有一堆 URI，没有可执行的矛盾检测语言；没有 A，模式再漂亮也是空转；省略 R 时，所有边都会退化成同一种「连着而已」——传递性、逆、函数性全丢在 prompt 里靠模型猜。

先读结论：三层各管什么

• TBox（词表 / 概念公理）：只规定「Student 比 Person 更细」这类类与类表达式的必然关系，不点名张三李四。对应 OWL 2 的 ClassAxiom（如 SubClassOf、EquivalentClasses），见 OWL 2 Structural Specification Section 9.1。
• RBox（角色 / 对象属性公理）：规定 enrolledIn 这类关系允许连谁与谁、是否传递/对称/函数性等。仍不点名具体边实例。主要对应 ObjectPropertyAxiom（及数据侧的 DataPropertyAxiom），见 Sections 9.2–9.3。许多教材把 R 并进 T 统称「模式层」——差别只在是否把关系公理单独拎出来讲。
• ABox（断言 / 事实）：个体上的陈述：谁属于哪类、两实体间是否有某关系、数据值断言等。W3C 正文把这类公理叫作 assertions，并说明它们也常被称作 facts；对应 Assertion（ClassAssertion、ObjectPropertyAssertion 等），见 Section 9.6。

OWL 2 在第 9 节把本体的主要逻辑成分统一说成一集 axioms，并列出类公理、对象属性公理、数据属性公理、……、断言（assertions / facts）——这与 DL 圈里 TBox + RBox + ABox 的三分习惯是同一副骨架的两种叫法：前两类（再加数据属性）构成词汇与约束，断言族构成世界样例。

因果链很直白：先固定词与关系的公理（T+R），再断言世界（A） → 推理机才能在「不偷换关系语义」的前提下做分类与一致性检查。三条链若揉进同一段自然语言，LLM 会替你平滑接缝；写进分层 schema，接缝处才会在 CI 里报错。

规范里那句与选课例同构的极小推理

规范引言里有一个与下文选课例同构的样例：若个体 Peter 是 Student 的实例，且 Student 是 Person 的子类，则据 OWL 2 语义可推出 Peter 也是 Person 的实例——一条 ABox 式断言 + 一条 TBox 式子类公理 → 另一条 ABox 结论。这正是「先词表、再花名册」为何能交给推理机收尾的形式原因。（见 Section 1 “Introduction”。）

经典微例：选课（一口大小）

极简大学域：类 Person、Student、Course；关系 enrolledIn 只允许学生指向课程；事实：alice 是 Student，cs101 是 Course，且 enrolledIn(alice, cs101)。

• TBox：Student 一定是 Person（子类）。
• ABox：谁是学生、哪门课存在、谁选了哪门课。
• RBox（或并入模式层表述的对象属性公理）：把 enrolledIn 的定义域、值域钉死，避免以后有人把边连到「教学楼」节点上还假装合法。

一旦 TBox 里有子类，alice 作为学生无需重复手写「也是人」——那是推理机该还的债，不是数据录入员该抄的经。

这不是象牙塔习题。任何 CRM、权限、供应链图，只要同时存在「类型层级」与「跨类型边」，就在复用同一套分工；OWL 只是把它写成了可交换的数学方言。

图示：三层各装什么（D2）

读图顺序：左列类公理 → 中列关系公理 → 右列实例断言；虚线式结论用动画边标出「由子类推出的类型」。

参考文献与权威链接

1. W3C OWL 2 Web Ontology Language — Structural Specification and Functional-Style Syntax（W3C Recommendation）。最新版本：https://www.w3.org/TR/owl2-syntax/。Section 9 “Axioms” 总括公理族；Section 9.6 “Assertions” 界定断言即关于个体的公理、常亦称 facts；Section 1 “Introduction” 含 Student / Person / Peter 推理示例。
2. W3C OWL 2 Web Ontology Language — Direct Semantics（形式语义）。https://www.w3.org/TR/owl2-direct-semantics/
3. W3C OWL 2 Web Ontology Language Primer（非规范性入门）。https://www.w3.org/TR/owl2-primer/
4. Baader, F. 等（编） — The Description Logic Handbook，CUP（TBox / ABox 及角色公理的传统表述）。https://www.cambridge.org/core/books/description-logic-handbook/

行动落点

下一次建内部知识库或图谱时，用三张清单自检：哪些语句只改「类/属性定义」（T+R），哪些语句只增删「这条业务事实」（A），哪些推断只允许由引擎写出、不得人手伪装成原文引用。三层对齐一次，合并请求里的 diff 语义才会对齐「模式变更」与「数据变更」，而不是混成一锅不可审的叙事粥。