51、关于部分 - 整体关系及 XML 文档良好属性的研究

关于部分 - 整体关系及 XML 文档良好属性的研究

在考古和侦探工作等领域，常常需要从发现的部分来推断潜在的整体。同时，在 XML 文档的开发中，也面临着如何确保文档具有良好属性的问题。下面将分别介绍这两方面的内容。

部分 - 整体关系的推理

在考古和侦探工作里，我们经常会遇到根据部分来推测整体的情况。例如，在战场上发现一个撞针，我们会推测应该存在与之匹配的枪机，进而有一把枪，而且撞针的类型通常还能反映枪的型号。基于这样的思路，我们定义了部分类的 type_conforming 属性，用于描述在历史相关时间间隔内，部分与预期整体类型相符的情况。其定义如下：
[
\forall c1/C, \text{type_conforming}(c1) \Leftrightarrow (\forall t1/T, \text{instance_of}(t1,c1) \Rightarrow (\exists c2/C, t2/T, \text{whole_type_of}(c2,c1) \land \text{whole_of}( t2,t1) \land \text{instance_of}(t2,c2))
]

接着，我们形式化了 general_part_of 关系（ gpart_of ），它描述了有证据表明一个对象是某个整体的一部分，但我们仅知道一些属性来确定它所属的类的情况。其定义为：
[
\forall t1/T,\forall c2/C, \text{gpart_of}(t1,c2) \Leftrightarrow \exists t2/T,