Knowledge Base Revision in Description Logics.
Guilin QiWeiru LiuDavid A. BellPublished in: JELIA (2006)
Keyphrases
- description logics
- knowledge base
- belief revision
- knowledge representation
- reasoning tasks
- expert systems
- knowledge acquisition
- knowledge representation and reasoning
- dl lite
- semantic web
- knowledge representation formalisms
- reasoning problems
- inference engine
- knowledge based systems
- ontology languages
- computational properties
- terminological knowledge
- concept descriptions
- reasoning services
- reasoning process
- model theoretic
- incomplete information
- domain experts
- logic programming
- computing least common subsumers
- computational complexity