iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning.
Paolo AtzeniTeodoro BaldazziLuigi BellomariniEmanuel SallingerPublished in: RuleML+RR (2022)
Keyphrases
- expressive power
- query language
- deductive databases
- knowledge representation
- knowledge base
- logic programming
- query answering
- reasoning systems
- reasoning tasks
- query processing
- model based reasoning
- knowledge representation and reasoning
- reasoning process
- reasoning mechanisms
- transitive closure
- meta level
- default reasoning
- probabilistic reasoning
- uncertain information
- pseudorandom
- integrity constraints
- neural network