Chapter

Rule Technologies: Foundations, Tools, and Applications

Volume 9202 of the series Lecture Notes in Computer Science pp 294-310

Date:

Existential Rules and Bayesian Networks for Probabilistic Ontological Data Exchange

  • Thomas LukasiewiczAffiliated withDepartment of Computer Science, University of Oxford
  • , Maria Vanina MartinezAffiliated withDepartment of Computer Science and Engineering, Universidad Nacional Del Sur and CONICET
  • , Livia PredoiuAffiliated withDepartment of Computer Science, University of Oxford Email author 
  • , Gerardo I. SimariAffiliated withDepartment of Computer Science and Engineering, Universidad Nacional Del Sur and CONICET

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We investigate the problem of exchanging probabilistic data between ontology-based probabilistic databases. The probabilities of the probabilistic source databases are compactly and flexibly encoded via Bayesian networks, which are closely related to the management of provenance. For the ontologies and the ontology mappings, we consider existential rules from the Datalog+/– family. We analyze the computational complexity of the problem of deciding whether there exists a probabilistic (universal) solution for a given probabilistic source database relative to a (probabilistic) ontological data exchange problem. We provide a host of complexity results for this problem for different classes of existential rules. We also analyze the complexity of answering UCQs (unions of conjunctive queries) in this framework.