Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/—

In this paper, we explore the use of guarded Datalog+/— for information integration based on probabilistic data exchange. The recently introduced Datalog+/— family of tractable ontology languages is suitable for representing and reasoning over lightweight ontologies, such as εℒ and the DL-Lite family of description logics. We study how Datalog+/— can be used as a mapping language in the context of information integration. We also provide a complexity analysis for deciding the existence of (deterministic and probabilistic (universal)) solutions in the context of data exchange. In particular, we show that tractability is preserved for simple probabilistic representations, such as tuple-independent ones.