Incremental Reasoning in EL+ without Bookkeeping.
Yevgeny KazakovPavel KlinovPublished in: Description Logics (2013)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- knowledge representation and reasoning
- reasoning systems
- knowledge representation
- incremental learning
- reasoning process
- qualitative reasoning
- proof theory
- computational properties
- reasoning problems
- resource bounded
- reasoning engine
- inference engine
- automated reasoning
- logical reasoning
- deductive reasoning
- fuzzy reasoning
- database
- graphical representation
- meta level
- probabilistic reasoning
- genetic algorithm
- neural network