Enhancing Datalog Reasoning with Hypertree Decompositions.
Xinyue ZhangPan HuYavor NenovIan HorrocksPublished in: IJCAI (2023)
Keyphrases
- hypertree decomposition
- expressive power
- decomposition methods
- knowledge representation
- deductive databases
- reasoning tasks
- query language
- logic programming
- query answering
- constraint satisfaction problems
- tree decomposition
- knowledge base
- databases
- conjunctive queries
- data complexity
- data model
- decomposition method
- datalog programs
- search algorithm