Revising General Knowledge Bases in Description Logics.
Zhe WangKewen WangRodney W. ToporPublished in: KR (2010)
Keyphrases
- description logics
- knowledge base
- dl lite
- knowledge representation
- highly expressive
- computing least common subsumers
- knowledge representation systems
- computational properties
- reasoning tasks
- special case
- reasoning systems
- knowledge representation languages
- knowledge representation formalisms
- model theoretic
- semantic web
- knowledge representation and reasoning
- ontology languages
- tight complexity bounds
- refinement operators
- reasoning services
- expert systems
- reasoning problems
- concept descriptions
- terminological knowledge
- owl ontologies
- knowledge based systems
- first order logic
- belief revision
- query answering
- machine learning
- conjunctive queries