Reasoning in Warded Datalog+/- with Harmful Joins.
Teodoro BaldazziLuigi BellomariniEmanuel SallingerPaolo AtzeniPublished in: SEBD (2022)
Keyphrases
- expressive power
- query answering
- knowledge representation
- logic programming
- query optimization
- deductive databases
- knowledge base
- reasoning systems
- spatial reasoning
- datalog programs
- reasoning process
- reasoning tasks
- automated reasoning
- data complexity
- query language
- qualitative reasoning
- sql queries
- database systems
- knowledge representation and reasoning
- database