(AUTORES EN ORDEN ALFABETICO) Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/-

THOMAS LUKASIEWICZ; MARIA VANINA MARTINEZ; LIVIA PREDOIU; GERARDO I. SIMARI

Uncertainty Reasoning for the Semantic Web III

Springer

Año: 2014; p. 41 - 62

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 EL 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.