Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic

DOI10.1007/978-3-540-75256-1_72zbMath1148.68535OpenAlexW1636943114MaRDI 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

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (8)

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

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

This page was built for publication: Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic