Optimised Storage for Datalog Reasoning.
Xinyue ZhangPan HuYavor NenovIan HorrocksPublished in: CoRR (2023)
Keyphrases
- expressive power
- query answering
- deductive databases
- knowledge base
- reasoning systems
- logic programming
- knowledge representation
- integrity constraints
- file system
- data storage
- reasoning tasks
- qualitative reasoning
- database languages
- reasoning process
- spatial reasoning
- storage and retrieval
- transitive closure
- legal reasoning
- storage requirements
- datalog programs
- model based reasoning
- production rules