论文标题
Wikidata对火星的约束（扩展技术报告）
Wikidata Constraints on MARS (Extended Technical Report)
论文作者
论文摘要
Wikidata约束（尽管有用）以不完整的临时方式表示和处理。约束声明并未完全表达其含义，因此没有为约束规范提供确切的，明确的基础，或者为约束检查实现提供了逻辑基础。在先前的工作中，我们基于多物质的关系结构（MARS）和相关的逻辑语言，为整个Wikidata提出了一个逻辑框架。在本文中，我们解释了在拟议的框架中如何处理约束，并表明Wikidata几乎所有现有的财产约束都可以以自然和经济的方式完全表征。我们还为几个提出的属性约束提供了特征，并表明可以在同一框架中处理多种非专业约束。
Wikidata constraints, albeit useful, are represented and processed in an incomplete, ad hoc fashion. Constraint declarations do not fully express their meaning, and thus do not provide a precise, unambiguous basis for constraint specification, or a logical foundation for constraint-checking implementations. In prior work we have proposed a logical framework for Wikidata as a whole, based on multi-attributed relational structures (MARS) and related logical languages. In this paper we explain how constraints are handled in the proposed framework, and show that nearly all of Wikidata's existing property constraints can be completely characterized in it, in a natural and economical fashion. We also give characterizations for several proposed property constraints, and show that a variety of non-property constraints can be handled in the same framework.
