Practical Defeasible Reasoning for Description Logics.
Kodylan MoodleyThomas MeyerUli SattlerPublished in: STAIRS (2014)
Keyphrases
- description logics
- defeasible reasoning
- defeasible logic
- knowledge representation and reasoning
- knowledge base
- conditional logic
- legal reasoning
- reasoning tasks
- argumentation systems
- nonmonotonic logics
- knowledge representation
- reasoning systems
- nonmonotonic reasoning
- semantic web
- formal semantics
- dl lite
- computing least common subsumers