A Survey of Revision Approaches in Description Logics.
Guilin QiFangkai YangPublished in: Description Logics (2008)
Keyphrases
- description logics
- knowledge base
- knowledge representation formalisms
- reasoning tasks
- knowledge representation
- computational properties
- semantic web
- reasoning problems
- semantic web ontologies
- artificial intelligence
- knowledge representation and reasoning
- reasoning systems
- belief revision
- dl lite
- owl dl
- concept descriptions
- biomedical ontologies
- data types