Weighted Defaults in Description Logics: Formal Properties and Proof Theory.
Joachim QuantzSven SuskaPublished in: KI (1994)
Keyphrases
- description logics
- proof theory
- default reasoning
- reasoning problems
- model theoretic
- knowledge base
- computational properties
- reasoning tasks
- knowledge representation
- knowledge representation languages
- dl lite
- default logic
- belief revision
- expressive power
- ontology languages
- desirable properties
- automated reasoning
- partial order
- default rules
- semantic web