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,...
| Main Authors: | , , , |
|---|---|
| 格式: | Book section |
| 出版: |
2014
|