Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox.
Giovanni CasiniThomas MeyerIvan José VarzinczakKodylan MoodleyPublished in: Description Logics (2013)
Keyphrases
- nonmonotonic reasoning
- description logics
- logic programming
- knowledge base
- default reasoning
- belief revision
- knowledge representation
- expressive description logics
- default logic
- commonsense reasoning
- dl lite
- terminological reasoning
- reasoning tasks
- conjunctive query answering
- owl dl
- nonmonotonic logics
- knowledge representation and reasoning
- possibility theory
- computational properties
- ontology languages
- reasoning systems
- model theoretic
- semantic web
- exptime complete
- default rules
- logic programs
- reasoning services
- minimal models
- autoepistemic logic
- defeasible logic
- fixpoint
- programming language
- truth maintenance systems
- default theories
- software engineering
- number restrictions
- artificial intelligence