Towards Practical Defeasible Reasoning for Description Logics.
Giovanni CasiniThomas MeyerKodylan MoodleyIvan José VarzinczakPublished in: Description Logics (2013)
Keyphrases
- description logics
- defeasible reasoning
- defeasible logic
- knowledge representation and reasoning
- knowledge base
- knowledge representation
- dl lite
- conditional logic
- semantic web
- nonmonotonic reasoning
- reasoning tasks
- legal reasoning
- nonmonotonic logics
- formal semantics
- computing least common subsumers
- reasoning systems
- argumentation systems
- number restrictions
- special case
- computational complexity
- artificial intelligence
- machine learning