精读笔记
Problem Setting
这篇论文不是在做一般 KGE 的新 scoring function，而是在问一个更窄但更硬的问题：给定带 DL-Lite_H TBox 和 ABox 的 KB，能否学习一个 embedding，使 TBox 逻辑约束被硬满足，同时 ABox/link prediction 仍可优化，并且整个训练问题是凸的。
真正困难点在于三者同时成立：第一，region-based embedding 要能表达 hierarchy、existential roles、disjointness；第二，faithfulness 要求 embedding 中成立的 axiom 不应与 KB 冲突，KB entailment 应该在 embedding 中成立；第三，优化不能退回常见的非凸 SGD/ADAM。以往方法通常只满足其中一部分：box/ball/cone 区域是 convex 的，但 loss、negative sampling、intersection/complement 处理不是 convex；或者逻辑规则只是 soft regularization，不保证 feasible solution 就满足 TBox。
关键矛盾是：描述逻辑越有表达力，几何约束越容易变成非凸；而想要优化 sound，就必须把逻辑语言、几何语义和 loss 设计一起降到凸优化可处理的形式。BoxLitE 的解法是明确站在凸性一侧，选择 DL-Lite_H 并重新定义 box semantics。
Motivation
作者对现有路线的批评是准确的：很多 KBE 论文把概念映射到 convex regions，但并没有真正利用 convex optimization。尤其负采样中的 sigmoid/logistic ranking、box volume ratio、intersection loss、max/min 操作，经常破坏凸性；再加上 ADAM 被用于不可微目标，优化上只是工程经验而非理论保证。
关键缺口不是“缺一个 box 模型”，而是缺一个从语义到优化都闭合的 KBE formulation：TBox 能作为 hard convex constraints，ABox 能作为 convex objective，negative pressure 不破坏凸性，最终还能给出 faithfulness guarantee。
为什么想到 DL-Lite_H：它在实践 KB/ontology 中常见，又比 EL/ALC 更适合凸化，因为没有左侧 conjunction。作者本质上是在说：如果目标是真正 convex KBE，那么逻辑 fragment 的选择不是附属问题，而是核心建模决策。
Core Idea
BoxLitE 的核心是把 KB embedding 重新组织成“约束满足 + 凸 ranking”的问题：TBox 不再作为 loss 去惩罚，而是直接变成线性包含约束；ABox 只影响 objective，通过 signed distance 把 individual/tuple 推入相应 box。这样任何 feasible point 已经 TBox faithful，优化只负责在满足 TBox 的可行域内找到更适合 ABox ranking 的解。
几何上，作者没有沿用 BoxE 的角色建模，而是为每个 role 使用 head/tail/bump 三个 box。role assertion R(a,b) 的成立依赖 pos(a)+bump(b) 在 head，pos(b)+bump(a) 在 tail，同时 bump(a), bump(b) 在 bump box。这个额外 bump box 是关键，因为 existential concept ∃R 被定义为 head box 按 bump box 扩张后的 box；因此 role assertion 和 existential assertion 之间可以通过 box inclusion 保持语义一致。
另一个核心改变是 complement box。真实集合补不是 convex，不能直接用于 C⊑¬D。BoxLitE 用一个特殊的 box-to-box complement surrogate，保留双重补、反单调性等足够用于 faithfulness proof 的性质。这里引入的 inductive bias 很强：negation 不再表示完整几何补集，而是表示一个可控的、凸的“反区域”。这正是方法能成立的代价。
Method
方法层面最重要的是四个机制。
第一，TBox translation。概念包含 B⊑C 被转成 L_C≤L_B 与 U_B≤U_C；role inclusion R⊑S 被转成 head/tail/bump 三个 box 的包含。它解决的是规则满足不可控的问题：只要解在 feasible set 内，TBox 就被硬满足。
第二，box consistency constraint。由于 complement box 可能和原 box 重叠，作者为每个 C∈N_C^∃ 预留维度，并用一个线性 inequality 保证 η(C) 与 η(¬C) 不相交。它解决的是 embedding 自相矛盾的问题。这个设计很工程化但有效，代价是维度需求与 concept/existential concept 数量绑定。
第三，signed distance loss。concept/role assertion loss 都是到 box-membership inequality 所定义负正交锥的 signed distance。负值表示已满足，正值表示违反。它解决的是“既要可排序又要凸”的问题；比 hinge/logistic negative sampling 更适合 SOCP。
第四，negative concept regularization。传统 corrupted triple negative sampling 会导致非凸；BoxLitE 改为对未出现在 ABox 中的 D(a) 推向 complement box η(¬D)，特别利用 existential concepts 来间接约束 role plausibility。它解决的是所有 assertion 都被高分的问题，但它不是完整的 relational negative sampling，只是一个凸兼容的替代信号。
最后，宽度正则控制 box 不要无限膨胀。实验中去掉 λ2 后性能下降最大，说明 box size regularization 可能是实际 ranking 质量的重要来源，而不只是辅助项。
Key Insight / Why It Works
这篇最重要的 insight 是：faithful KBE 的瓶颈不在表示区域是否 convex，而在整个 learning problem 是否 convex-closed。只要负采样、negation、intersection、loss 里有一个环节破坏凸性，所谓 convex geometry 就只是表达层面的装饰。BoxLitE 把 fragment、semantics、constraints、objective 全部按凸优化闭包规则重写，这是实质贡献。
为什么它理论上成立：DL-Lite_H 的 inclusions 可以被 box containment 表达，而 containment 对 axis-aligned boxes 是线性的；canonical model 可被编码进足够高维的 box interpretation；complement box 保证 negation/disjointness 至少在所需 axiom 层面有反单调和 involution；role head/tail/bump 结构让 ∃R 与 R(a,b) 的几何条件对齐。这些机制共同使得 TBox entailment 和 KB faithfulness 不依赖优化成功，而来自 feasible set 的定义。
我认为最核心的贡献是“把 TBox hard constraints 与 ABox convex objective 分离”以及“为 DL-Lite_H 设计 convex-preserving semantics”。SOCP reformulation 是重要但相对自然的优化工程结果；negative concept regularization 是必要的 practical trick，但不是理论核心。
实际 link prediction 效果很可能主要来自三个因素：TBox hard constraint 带来的 representation alignment、box width regularization 防止 trivial all-positive、以及 Family 数据中 role hierarchy/inverse/symmetry 结构较强。不是 scaling，不是 retrieval，不是 test-time compute，也不是更强 data coverage。所谓 reasoning 主要是 TBox closure 被硬编码进可行域；它不是学出了通用推理程序，而是在受限逻辑 fragment 中把规则满足编译成几何约束。
需要警惕的是，实验性能中的“推理能力”可能部分来自 evaluation set 由 inferred role assertions 构造，而模型的 TBox constraints 正是为这些 entailments 设计的。这不是 leakage，但验证的是 deductive closure alignment，不是开放世界下复杂泛化。增益来源不清，尤其 BoxE 未注入 TBox 而 BoxLitE 注入 TBox，比较并不公平。
Relation To Prior Work
最接近的是三条线：BoxE/ExpressivE 类 box-based KGE，EL/EL++ faithful ontology embeddings，以及 cone semantics for negation。BoxLitE 与 BoxE 的共同点是 position+bump 和 box role geometry，但本质差异在于 BoxE 仍是非凸 SGD ranking model，而 BoxLitE 为了 convexity 重写了 role bump constraints、existential semantics 和 objective。
与 EL++ faithful embeddings 相比，BoxLitE 的主要不同不是 faithfulness 概念，而是逻辑 fragment 的选择。EL 系方法常需要处理 C⊓D⊑E，这在 box intersection 下天然带 min/max 非凸约束；BoxLitE 直接避开这类 axiom。因此它不是更 general 的 faithful embedding，而是更 optimization-sound 的 faithful embedding。
与 cone semantics 相比，BoxLitE 的 complement box 是更工程化也更可优化的 negation surrogate。cone 工作更多讨论几何语义可表达性，BoxLitE 则明确落到 SOCP formulation。
哪些是已有思想重组：box containment 表示 hierarchy、position+bump 表示 role、faithfulness/canonical model 思路都不是全新。实质创新在于：针对 DL-Lite_H 组合这些组件，使 TBox constraints 线性化、ABox loss SOCP 化，并给出任意 satisfiable KB 存在 faithful BoxLitE embedding 的证明。
Dataset / Evaluation
实验覆盖范围很窄。作者只在 Family dataset 的若干 sampled subsets 上验证，TBox 主要是 role inclusion、inverse/symmetry-like 结构和一个 existential disjointness axiom。这个设置非常适合 BoxLitE 的强项：DL-Lite_H role hierarchy 和 existential reasoning。它没有验证大规模真实 ontology、多 schema、多 relation pattern、噪声 ABox、复杂 negation 或更多 DL-Lite_H 构造下的鲁棒性。
实验确实支持两个 claim：第一，CVXPY+MOSEK 可以求解该 formulation，至少在几千 assertions、数百万 conic variables/constraints 的规模上可行；第二，hard TBox constraints 能产生合理 link prediction 表现。但它不充分支持“凸 KBE 可替代 SGD KGE”的强 claim。与 BoxE/RotatE/ComplEx 的比较也只能作为 sanity check，因为 baseline 没有注入 TBox，而 BoxLitE 的 evaluation targets 来自 TBox entailments，这天然偏向 BoxLitE。
消融显示去掉宽度正则影响最大，这很有信息量：实际 ranking 质量可能严重依赖 box size control，而不是仅由 faithful semantics 带来。负概念正则和 bump width 正则也有帮助，但具体归因文中未充分说明。
Limitation
第一，表达力上限很明确：方法基本绑定 DL-Lite_H。作者对左侧 conjunction 非凸性的分析是对的，这也意味着 BoxLitE 很难直接扩展到 EL++/ALC 中常用的 C⊓D⊑E。若强行扩展，要么放弃凸性，要么引入 relaxation，faithfulness guarantee 会变弱。
第二，scalability 上限不乐观。理论维度上界依赖 concept、role、individual 数量；SOCP 虽然 polynomial/成熟，但常数很大。F_v4 已有约 3.5M variables 和 2.3M constraints，且只是小型 Family subset。真实 KB 的 HPO、evaluation、solver memory 可能成为瓶颈。这里不是神经 scaling，而是 conic optimization scaling，增长形态完全不同。
第三，negative signal 不足。BoxLitE 为保持凸性放弃了 triple-level corrupted negative sampling，改为 existential/concept complement regularization。这可能不足以区分细粒度 relation alternatives。它更像在控制 domain/range/existential plausibility，而不是学习丰富 relational exclusion。
第四，complement box 是 surrogate，不是 classical complement。它保证某些代数性质，但 unknown truth status 和几何补集偏差会影响模型如何表达 negation。文中证明了 faithfulness 所需性质，但没有充分分析这种 surrogate 对 ranking/generalization 的系统影响。
第五，实验泛化性弱。Family benchmark 的 inferred assertions 与 TBox hard constraints 高度一致，模型表现可能反映规则编译能力，而非从稀疏 ABox 中学出复杂 latent structure。所谓推理更像 constrained completion，不是开放世界中的 robust reasoning。
Takeaway
- 1. 真正想做 convex KBE，不能只把 embedding region 设成 convex；必须让 logic fragment、semantics、negative sampling、loss、solver formulation 全部 convex-compatible。
- 2. TBox hard constraints + ABox convex objective 是一个值得迁移的设计范式。
- 它适合 ontology fragment 明确、规则可信、ABox noisy/partial 的场景。
- 3. 表达力与凸性存在硬 trade-off。
一句话总结
BoxLitE 是一篇把 DL-Lite_H faithful KB embedding 从非凸神经训练拉回到 sound convex optimization 框架中的理论型工作，真正贡献在于凸兼容语义和 TBox-as-constraints，而不是刷新 link prediction 性能。