Wikidata on MARS
  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.
