Wikidata Constraints on MARS (Extended Technical Report)

08/10/2020
by   David L. Martin, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/18/2021

The complexity of the Quantified CSP having the polynomially generated powers property

It is known that if an algebra of polymorphisms of the constraint langua...
research
06/04/2021

Constraint-based Relational Verification

In recent years they have been numerous works that aim to automate relat...
research
08/31/2019

Conditions for Unnecessary Logical Constraints in Kernel Machines

A main property of support vector machines consists in the fact that onl...
research
06/13/2022

Constraint Guided Gradient Descent: Guided Training with Inequality Constraints

Deep learning is typically performed by learning a neural network solely...
research
11/27/2018

Fault Detection for Timed FSM with Timeouts by Constraint Solving

Recently, an efficient constraint solving-based approach has been develo...
research
02/20/2002

The logical meaning of Expansion

The Expansion property considered by researchers in Social Choice is sho...
research
04/25/2022

Understanding the Relationship Between Core Constraints and Core-Selecting Payment Rules in Combinatorial Auctions

Combinatorial auctions (CAs) allow bidders to express complex preference...

Please sign up or login with your details

Forgot password? Click here to reset