Finite Lattices Do Not Make Reasoning in ALCI Harder.
Stefan BorgwardtRafael PeñalozaPublished in: URSW (2011)
Keyphrases
- description logics
- reasoning systems
- knowledge base
- reasoning tasks
- knowledge representation
- np complete
- knowledge representation and reasoning
- automated reasoning
- np hard
- finite number
- legal reasoning
- reasoning mechanisms
- neural network
- uncertain information
- qualitative reasoning
- production rules
- reasoning process
- probabilistic reasoning
- model based diagnosis
- finite automata
- analogical reasoning
- reasoning problems
- inference rules