Book section icon

Book section

Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+⁄−

Abstract:

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

Expand abstract

Actions


Authors


Publication date:
2014-01-01
URN:
uuid:8fed7130-7cc4-4e72-b45f-6dfc2a641fcf
Local pid:
cs:8910

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP