A KLM Perspective on Defeasible Reasoning for Description Logics.
Katarina BritzGiovanni CasiniThomas MeyerIvan VarzinczakPublished in: Description Logic, Theory Combination, and All That (2019)
Keyphrases
- description logics
- defeasible reasoning
- defeasible logic
- knowledge representation and reasoning
- nonmonotonic reasoning
- conditional logic
- legal reasoning
- knowledge representation
- knowledge base
- formal semantics
- argumentation systems
- nonmonotonic logics
- dl lite
- reasoning systems
- propositional logic
- computing least common subsumers
- reasoning tasks
- semantic web
- logic programming
- default logic
- belief revision
- artificial intelligence