Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract).
David CarralIrina DragosteMarkus KrötzschChristian LewePublished in: Description Logics (2019)
Keyphrases
- extended abstract
- rule based reasoning
- production rules
- logical rules
- conflicting information
- inference engine
- reasoning mechanisms
- meta rules
- multi context systems
- knowledge representation
- default rules
- highly expressive
- rule sets
- decision rules
- derivation rules
- backward chaining
- spatial reasoning
- qualitative reasoning
- computing least common subsumers
- uncertain information
- reasoning systems
- rule based systems
- case based reasoning
- analogical reasoning
- neural network
- bayesian networks
- artificial intelligence