Mixed-World Reasoning with Existential Rules under Active-Domain Semantics.
Meghyn BienvenuPierre BourhisPublished in: IJCAI (2019)
Keyphrases
- default rules
- logical rules
- reasoning mechanisms
- derivation rules
- domain experts
- uml class diagrams
- default reasoning
- proof theoretic
- transformation rules
- inference engine
- active databases
- reasoning tasks
- deduction rules
- rule based reasoning
- active rules
- uncertain information
- conflicting information
- intuitionistic logic
- knowledge representation
- knowledge base
- rule language
- proof theory
- knowledge engineers
- reasoning process
- logic programming
- production rules
- eca rules
- multi context systems
- association rules
- reasoning mechanism
- domain specific
- formal semantics
- default logic
- highly expressive
- rule sets
- meta rules
- domain independent
- open world
- abstract argumentation
- domain ontology
- owl dl
- automated reasoning
- logical framework