Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning.
Gabriele SaccoLoris BozzatoOliver KutzPublished in: CILC (2023)
Keyphrases
- description logics
- defeasible reasoning
- defeasible logic
- knowledge representation and reasoning
- conditional logic
- knowledge base
- nonmonotonic reasoning
- knowledge representation
- legal reasoning
- dl lite
- formal semantics
- reasoning tasks
- nonmonotonic logics
- argumentation systems
- reasoning systems
- semantic web
- logic programming
- special case
- expert systems
- database systems
- default reasoning
- information systems