Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+⁄−
<p>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,...
| Auteurs principaux: | , , , |
|---|---|
| Format: | Book section |
| Publié: |
2014
|