Datalog±: a unified approach to ontologies and integrity constraints


We report on a recently introduced family of expressive extensions of Datalog, called Datalog<sup>&#177;</sup>, which is a new framework for representing ontological axioms in form of integrity constraints, and for query answering under such constraints. Datalog&#177; is derived from Datalog by allowing existentially quantified variables in rule heads, and… (More)
DOI: 10.1145/1514894.1514897


3 Figures and Tables


Citations per Year

94 Citations

Semantic Scholar estimates that this publication has 94 citations based on the available data.

See our FAQ for additional information.