Reasoning for ALCQ extended with a flexible meta-modelling hierarchy.
Regina MotzEdelweis RohrerPaula SeveriPublished in: CoRR (2014)
Keyphrases
- description logics
- fuzzy description logics
- meta level
- reasoning tasks
- meta reasoning
- reasoning problems
- reasoning systems
- knowledge representation
- knowledge base
- meta rules
- knowledge representation and reasoning
- computational properties
- higher level
- model construction
- qualitative reasoning
- databases
- logical reasoning
- spatial reasoning
- hierarchical structure
- genetic algorithm
- reasoning and decision making
- automated reasoning
- derivation rules
- rule based reasoning
- analogical reasoning
- causal reasoning
- tree structure
- case based reasoning
- data mining