Wikidata on MARS

TL;DR

This paper models Wikidata using extended multi-attributed relational structures and rule-based logic to improve inference, constraint handling, and address major issues in Wikidata's data model.

Contribution

It introduces an extended MARS and MARPL framework to model Wikidata, incorporating datatypes and qualifiers for enhanced inference and constraint management.

Findings

Wikidata can be effectively modeled as an extended MARS.

Inference rules over Wikidata are formalized using MARPL ontology.

Constraints are represented as extended MAPL formulae evaluated over the model.

Abstract

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.