PossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling.
Guilin QiQiu JiJeff Z. PanJianfeng DuPublished in: ESWC (2) (2010)
Keyphrases
- knowledge base
- description logics
- possibility theory
- reasoning services
- possibilistic logic
- uncertain knowledge
- consistency checking
- expressive description logics
- uncertain information
- possibilistic networks
- reasoning tasks
- reasoning under uncertainty
- intuitionistic logic
- expected utility
- meta reasoning
- classical logic
- reasoning problems
- computational properties
- incomplete knowledge
- inheritance reasoning
- reasoning systems
- inconsistent information
- logic programming
- probability theory
- query answering
- knowledge representation
- default rules
- knowledge representation and reasoning
- reasoning process
- causal networks
- probabilistic reasoning
- vague concepts
- probabilistic knowledge
- owl dl
- belief base
- incomplete information
- nonmonotonic reasoning
- expressive power
- expert systems
- automated reasoning
- knowledge representation formalisms
- possibility distributions
- dl lite
- conjunctive queries
- belief revision
- temporal reasoning
- production rules
- inference process
- decision theory