Enhancing Datalog Reasoning with Hypertree Decompositions.

Xinyue Zhang Pan Hu Yavor Nenov Ian Horrocks

Published in: CoRR (2023)

Keyphrases

hypertree decomposition
expressive power
knowledge base
decomposition methods
query answering
deductive databases
datalog programs
query language
logic programming
reasoning tasks
integrity constraints
database
knowledge representation
heuristic search
conjunctive queries
database theory
search algorithm