Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract).
Meghyn BienvenuPierre BourhisPublished in: Description Logics (2019)
Keyphrases
- default rules
- logical rules
- reasoning mechanisms
- production rules
- uml class diagrams
- rule based reasoning
- proof theoretic
- eca rules
- derivation rules
- uncertain information
- reasoning tasks
- domain experts
- deduction rules
- case based reasoner
- inference engine
- default reasoning
- transformation rules
- conflicting information
- domain specific
- proof theory
- graphical representation
- open world
- event condition action
- domain independent
- meta rules
- rule language
- multi context systems
- query answering
- active databases
- owl ontologies
- semantic information
- case based reasoning
- knowledge representation
- high level
- description logic programs
- intuitionistic logic
- knowledge base
- rule engine
- computational properties
- logical framework
- closed world
- logical formulas
- knowledge engineers
- default theories
- formal semantics
- business rules
- default logic
- logic programming
- taxonomic reasoning
- knowledge acquisition
- association rules