iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report).
Teodoro BaldazziLuigi BellomariniEmanuel SallingerPaolo AtzeniPublished in: CoRR (2021)
Keyphrases
- technical report
- deductive databases
- expressive power
- knowledge base
- query language
- knowledge representation
- logic programming
- integrity constraints
- probabilistic reasoning
- reasoning process
- artificial intelligence
- reasoning systems
- query answering
- qualitative reasoning
- automated reasoning
- reasoning tasks
- meta level
- probabilistic logic
- uncertain information
- knowledge representation and reasoning
- datalog programs
- data exchange