MARS上的维基数据
Wikidata on MARS
摘要：
多属性关系结构（MARS）已经被提出作为广义属性图的形式化数据模型，以及多属性基于规则的谓词逻辑（MARPL）作为一种有用的基于规则的逻辑，其中在属性图上编写推理规则。维基数据可以在扩展的MARS中建模，该扩展的MARS添加了维基数据的（不精确的）数据库。维基数据本体的推理规则可以建模为MARPL本体，并扩展处理维基数据数据库和这些数据库上的函数。由于许多维基数据限定符应该参与维基数据中的大多数推理规则，因此需要在每个限定符的基础上隐式处理限定符值的方法来使这种建模有用。Wikidata的意义是扩展的MARS，它是在Wikidata数据模型上运行这些规则的闭包。维基数据约束可以建模为多属性谓词逻辑（MAPL）公式，再次扩展为数据库，在此扩展的MARS上进行评估。结果以一种修复其几个主要问题的方式对维基数据进行建模。
英文摘要：
Multi-attributed relational structures (MARSs) have been proposed as a formal data model for generalized property graphs, along with multi-attributed rule-based predicate logic (MARPL) as a useful rule-based logic in which to write inference rules over property graphs. Wikidata can be modelled in an extended MARS that adds the (imprecise) datatypes of Wikidata. The rules of inference for the Wikidata ontology can be modelled as a MARPL ontology, with extensions to handle the Wikidata datatypes and functions over these datatypes. Because many Wikidata qualifiers should participate in most inference rules in Wikidata a method of implicitly handling qualifier values on a per-qualifier basis is needed to make this modelling useful. The meaning of Wikidata is then the extended MARS that is the closure of running these rules on the Wikidata data model. Wikidata constraints can be modelled as multi-attributed predicate logic (MAPL) formulae, again extended with datatypes, that are evaluated over this extended MARS. The result models Wikidata in a way that fixes several of its major problems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
