Open World Reasoning in Datalog.

Gergely Lukácsy Zsolt Nagy

Published in: ICLP (2005)

Keyphrases

open world
query answering
incomplete information
closed world
data exchange
expressive power
knowledge base
deductive databases
data integration
logic programming
integrity constraints
data complexity
transitive closure
datalog programs
query language
derivation rules
databases
data management