33、信息系统建模：超越本体与符号的新视角

信息系统建模：超越本体与符号的新视角

1. 橡皮擦关系与语义内容

在信息处理中，橡皮擦（Eraser）之间存在着多种关系，这些关系对于理解和操作文档数据具有重要意义。
- 追踪排序（Trace Ordering） ：不依赖于转换后文档的同一性，仅依赖于它们保留的标记数量。其定义为 (E1 \geqslant_{(st,D)} E2 \Leftrightarrow |E2E1D| = |E2D|)。
- 弱追踪排序（Weak Trace Ordering） ：相对简单且实用性较低，定义为 (E1 \geqslant_{(wt,D)} E2 \Leftrightarrow |E1D| = |E2D|)。
- 兼容性（Compatibility） ：(E1 \sim_D E2 \Leftrightarrow [E2E1]_D = [E2E1]_D)，此关系蕴含了本文定义的其他所有关系，但并非必要条件。

可以容易地证明，这三种定义的关系形成了一个蕴含链：兼容性关系⇒追踪排序关系⇒弱追踪排序关系。

此外，还有两个关系对于从列表中推导出更多的顺序关系非常有用：
- 传递性（Transitivity） ：((E(A, wA) \geqslant E(B, wB)) \land (E(B, wB) \geqslant E(C, wC)) \Rightarrow (E(A, wA) \geqslant E(C, wC)))。
- 同时拓宽下的不变性（Invariance under