Reasoning in the presence of inconsistency through Preferential ALC.
Graham DeaneKrysia BrodaAlessandra RussoPublished in: LPAR (short papers) (2015)
Keyphrases
- fuzzy description logics
- description logics
- inconsistent information
- reasoning systems
- expressive description logics
- knowledge base
- reasoning tasks
- knowledge representation
- upper bound
- reasoning problems
- qualitative reasoning
- analogical reasoning
- computational properties
- reasoning process
- rule based reasoning
- legal reasoning
- meta level
- artificial intelligence
- machine learning
- uncertain information
- formal models
- neural network
- spatial reasoning
- fuzzy ontology
- expert systems