Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic

DOI10.1007/978-3-540-75256-1_72zbMath1148.68535MaRDI QIDQ3524995

Guilin Qi, Jeff Z. Pan, Qiu Ji

Publication date: 16 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75256-1_72

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T37: Reasoning under uncertainty in the context of artificial intelligence

Related Items

Semantic Reasoning with Uncertain Information from Unreliable Sources, Towards Contingent World Descriptions in Description Logics, Reasoning within expressive fuzzy rough description logics, A note on a description logic of concept and role typicality for defeasible reasoning over ontologies, Reasoning within intuitionistic fuzzy rough description logics, Introducing Role Defeasibility in Description Logics, Extending description logics with uncertainty reasoning in possibilistic logic

Uses Software

• KAON2

Cites Work

• Reasoning with partially ordered information in a possibilistic logic framework
• Epistemic entrenchment and possibilistic logic
• An alternative proof method for possibilistic logic and its application to terminological logics
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• On languages with two variables
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item