Optimised Storage for Datalog Reasoning.
Xinyue ZhangPan HuYavor NenovIan HorrocksPublished in: AAAI (2024)
Keyphrases
- expressive power
- deductive databases
- data storage
- logic programming
- knowledge representation and reasoning
- reasoning systems
- knowledge representation
- query language
- query answering
- storage requirements
- storage and retrieval
- knowledge base
- qualitative reasoning
- automated reasoning
- reasoning tasks
- reasoning process
- random access
- file system
- spatial reasoning
- artificial intelligence
- database