MARS 上的 Wikidata

多属性关系结构（MARSs）已被提出作为广义属性图的形式化数据模型，同时多属性基于规则的谓词逻辑（MARPL）作为一种有用的基于规则的逻辑，用于在属性图上编写推理规则。Wikidata 可以在一个扩展的 MARS 中建模，该扩展添加了 Wikidata 的（不精确的）数据类型。Wikidata 本体的推理规则可以建模为一个 MARPL 本体，并扩展以处理 Wikidata 数据类型以及这些数据类型上的函数。由于许多 Wikidata 限定符应参与 Wikidata 中的大多数推理规则，因此需要根据每个限定符隐式处理限定符值的方法，以使该建模具有实用性。Wikidata 的含义随后即为在 Wikidata 数据模型上运行这些规则所得的闭包扩展 MARS。Wikidata 约束可以建模为多属性谓词逻辑（MAPL）公式，同样用数据类型扩展，并在该扩展 MARS 上进行评估。该结果以一种解决了 Wikidata 若干主要问题的方式对其进行了建模。