Brave and Cautious Reasoning in EL.
Michel LudwigRafael PeñalozaPublished in: Description Logics (2014)
Keyphrases
- default rules
- description logics
- reasoning tasks
- default logic
- logical framework
- answer set programming
- qualitative reasoning
- knowledge representation
- knowledge base
- automated reasoning
- reasoning process
- reasoning systems
- knowledge representation and reasoning
- reasoning problems
- default reasoning
- fixed point
- knowledge acquisition
- databases
- expert systems
- legal reasoning
- computational properties