Reasoning with Contextual Defeasible ALC.
Katarina BritzIvan VarzinczakPublished in: Description Logics (2019)
Keyphrases
- fuzzy description logics
- conflicting information
- description logics
- legal reasoning
- inheritance reasoning
- reasoning systems
- defeasible reasoning
- reasoning tasks
- knowledge base
- contextual information
- expressive description logics
- practical reasoning
- knowledge representation and reasoning
- reasoning process
- defeasible logic
- reasoning problems
- nonmonotonic inference
- knowledge representation
- model based reasoning
- artificial intelligence
- automated reasoning
- deontic logic
- upper bound
- default reasoning
- spatial reasoning
- default rules
- default logic
- uncertain information
- argumentation schemes