MARS 上的 Wikidata 约束（扩展技术报告）
人工智能
2020-08-18 v2
摘要
Wikidata 约束尽管有用，却以不完整、临时拼凑的方式表示和处理。约束声明未能充分表达其含义，因此未提供精确、无歧义的约束规范基础，也未提供约束检查实现的逻辑基础。在先前工作中，我们基于多属性关系结构（MARS）及相关逻辑语言提出了面向整个 Wikidata 的逻辑框架。本文解释所提框架中如何处理约束，并表明 Wikidata 几乎所有现有属性约束都能以自然且经济的方式在其中被完整刻画。我们还给出了若干拟议属性约束的刻画，并表明多种非属性约束也可在同一框架中处理。
引用
@article{arxiv.2008.03900,
title = {Wikidata Constraints on MARS (Extended Technical Report)},
author = {David L. Martin and Peter F. Patel-Schneider},
journal= {arXiv preprint arXiv:2008.03900},
year = {2020}
}
备注
22 pages, no figures. V2 includes a title change, revision of the abstract, and a handful of minor changes in the body of the paper and the appendix