Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+⁄−
Thomas Lukasiewicz‚ Maria Vanina Martinez‚ Livia Predoiu and Gerardo Simari
The recently introduced Datalog+⁄− family of tractable knowledge representation formalisms is able to represent and reason over light-weight ontologies. It extends plain Datalog by negative constraints and the possibility of rules with existential quantification and equality in rule heads, and at the same time restricts the rule syntax by the addition of so-called guards in rule bodies to gain decidability and tractability. In this paper, we investigate how Datalog+⁄− can be used for information integration based on probabilistic data exchange.