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,...
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Book section |
| Được phát hành: |
2014
|