论文标题
火星上的Wikidata
Wikidata on MARS
论文作者
论文摘要
已提出了多属性关系结构（MARS）作为广义属性图的形式数据模型，以及基于多物质规则的谓词逻辑（MARPL）作为一种有用的基于规则的逻辑，在其中在其中编写属性图形的推断规则。 Wikidata可以在延长的火星中建模，从而添加Wikidata的（不精确）数据类型。 Wikidata本体论的推论规则可以建模为MARPL本体论，并具有在这些数据类型上处理Wikidata Datatypes和功能的扩展。因为许多Wikidata预选赛都应该参与Wikidata中的大多数推理规则，因此需要以每个级别的基础上隐式处理预选器值的方法来使此建模有用。然后，Wikidata的含义是扩展的火星，这是在Wikidata数据模型上运行这些规则的关闭。 Wikidata约束可以建模为多物质的谓词逻辑（MAPL）公式，并再次用数据表进行扩展，这些公式在此扩展的火星上进行了评估。结果将Wikidata模型以解决其主要问题的方式。
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.
