An Argumentation Framework for Non-monotonic Reasoning in Description Logic.
Geng WangZuoquan LinPublished in: RSKT (2012)
Keyphrases
- description logics
- argumentation frameworks
- knowledge base
- knowledge representation
- semantic web
- commonsense reasoning
- reasoning problems
- knowledge representation and reasoning
- computational properties
- reasoning systems
- ontology languages
- defeasible logic
- reasoning tasks
- concept descriptions
- dl lite
- preference relations
- computing least common subsumers
- reasoning mechanism
- artificial intelligence
- number restrictions
- medical terminology