Enhancing magic sets with an application to ontological reasoning.

Mario Alviano Nicola Leone Pierfrancesco Veltri Jessica Zangari

Published in: CoRR (2019)

Keyphrases

ontological reasoning
magic sets
domain knowledge
logic programs
computational properties
datalog programs
update propagation
ontology matching
query answering
fixpoint
recursive queries
logic programming
replicated databases
deductive databases
data exchange
conjunctive queries
distributed systems