We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: Wikidata Constraints on MARS (Extended Technical Report)

Abstract: 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.
Comments: 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
Subjects: Artificial Intelligence (cs.AI)
Cite as: arXiv:2008.03900 [cs.AI]
  (or arXiv:2008.03900v2 [cs.AI] for this version)

Submission history

From: David Martin [view email]
[v1] Mon, 10 Aug 2020 04:49:02 GMT (60kb)
[v2] Mon, 17 Aug 2020 02:57:00 GMT (70kb)

Link back to: arXiv, form interface, contact.