ABox

ABox（Instance）· 断言层

定位:ABox(Assertional Box)= 本体的断言组件——在 设计指南/本体设计/TBox 模型之上,陈述具体事实:某实例属于哪个类、有什么值、和谁有关系。它装的是「这个项目具体长什么样、和谁有关」,是 AI 从「查数」走向「归因」的关键。

📎 来源:实践分享第三章 + 好 Skill 与 CLI/CI 设计指南。上级:设计指南/本体设计;姊妹:设计指南/本体设计/TBox。

---

一、讲个故事:没有 ABox 会怎样

成本经理问:「深圳湾一号的钢筋含量偏高,到底为什么?」

😟 没有 ABox 的 AI	😎 有 ABox 的 AI
✓ 查到 58kg/㎡(靠 TBox 就够)	✓ 同样查到 58,且知同城样本仅 45 → 确实偏高
✗ 再问「为什么」就卡住——不知该项目层高、有无地库	✓ 顺 ABox 关联查到:该项目层高 3.6m(样本 3.0m)
✗ 只能用通识空答「可能设计原因」——像没去过现场的实习生	✓ 沿替代关系比对:当前木模,换铝模可降 8%
✗ 给不出能落地的结论	✓ 结论:层高刚性 + 模板可优化——有据可依

ABox 装的是真实事实与关系。没有它,AI 只会查数,不会归因。

二、ABox 示例(实例 + 关系)

# ABox · 真实业务事实
abox:
  instances:
    - {id: 土建工程, isEndCost: 0, amount: 2.4亿, areaUnitCost: 4250}
    - {id: 钢筋工程, parent: 土建工程, isEndCost: 1, contentRatio: 58kg/㎡}
  relations:
    # 共振:一个特征带动多个科目↑
    - {type: resonance, driver: 结构层高, affects: [钢筋工程, 混凝土工程]}
    # 替代:两个方案二选一
    - {type: substitute, options: [铝模方案, 木模方案]}

三、下钻查询:沿关系追根因

# Step 1 · 异常定位(L1/L2)
钢筋含量 58kg/㎡ > 同城样本 45  ⚠

# Step 2 · 沿 resonance 共振边下钻
钢筋工程 ←resonance← 结构层高  → 该项目层高 3.6m(样本 3.0m)

# Step 3 · 沿 substitute 替代边比对
当前=木模,可选 铝模  → 铝模含量低 8%,但需评估成本

# 结论:层高刚性 + 模板可优化

下钻不是让 AI 背科目——是让它沿 ABox 的共振/替代关系,一步步追到根因。

四、ABox 是一张图谱(三类边)

ABox 本质是「节点(科目/特征)+ 边」的图:

• 父子 · contains —— 土建 → 钢筋 / 混凝土 / 模板(逐级拆解)
• 共振 · resonance —— 结构层高 → 同时带动钢筋、混凝土(一特征驱动多科目)
• 替代 · substitute —— 铝模 ⇄ 木模(互斥方案,归因时拉出来比对)

关键:宽表把关系拍平了,ABox 图谱把它重新显式记下来。 这正是 设计指南/本体设计 里「本体 ≠ 宽表」的具体体现——归因依赖的关系,宽表存不下,得靠 ABox 建模。

五、ABox 的 CLI 形态

biz data query    --dsl query.json --output json
biz data drilldown --entity contract --id xxx --output json
biz data evidence --metric dynamic_cost --project xxx --output json

Agent 不拼 SQL,而是调「下钻 / 取证据」动作。详见 设计指南/CLI设计/CLI设计规范。

六、何时才需要上 ABox

• L3 归因分析 —— 沿共振/替代关系下钻根因
• L4 决策建议 —— 控价、谈判、降本建议

要顺着实例间真实关系推理,才需 ABox;只做 L1/L2 用 设计指南/本体设计/TBox 就够。

参考与延伸

• 概览 → 设计指南/本体设计;概念层 → 设计指南/本体设计/TBox
• ABox 卡片(feature_cards / indicator_cards)与下钻执行 → 场景指南/问数/05、/07