Extending description logics with uncertainty reasoning in possibilistic logic.
Guilin QiQiu JiJeff Z. PanJianfeng DuPublished in: Int. J. Intell. Syst. (2011)
Keyphrases
- possibilistic logic
- description logics
- knowledge base
- uncertain information
- reasoning tasks
- possibility theory
- logical framework
- reasoning problems
- knowledge representation systems
- reasoning systems
- knowledge representation and reasoning
- fuzzy description logics
- computational properties
- reasoning mechanism
- knowledge representation
- logic programming
- reasoning services
- computing least common subsumers
- uncertain data
- knowledge representation formalisms
- probabilistic knowledge
- dl lite
- incomplete information
- number restrictions
- taxonomic reasoning
- owl dl
- propositional logic
- classical logic
- expert systems
- nonmonotonic reasoning
- probability theory
- semantic web
- belief functions
- belief revision
- knowledge representation languages
- high level
- dl programs
- partially ordered
- first order logic
- expressive power
- answer set programming
- meta level
- automated reasoning