Towards Contingent World Descriptions in Description Logics

DOI10.12775/LLP.2019.016zbMath1478.68340WikidataQ127556781 ScholiaQ127556781MaRDI QIDQ5006820

Farshad Badie

Publication date: 17 August 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

modalityknowledge representationdescription logicsconditional informationthree-valued semanticscontingent interpretationcontingent world descriptionfunctional contingents

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Uses Software

• swrl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Attributive concept descriptions with complements
• An epistemic operator for description logics
• An alternative proof method for possibilistic logic and its application to terminological logics
• Handbook of philosophical logic. Vol. 10
• Default logic as dynamic doxastic logic
• Quantitative model checking of linear-time properties based on generalized possibility measures
• Fuzzy cross-efficiency evaluation: a possibility approach
• Representing qualitative capacities as families of possibility measures
• Expressive probabilistic description logics
• Possibility and necessity measures and integral equivalence
• Classic works on the Dempster-Shafer theory of belief functions
• On the connection between probability boxes and possibility measures
• Foundations of Fuzzy Logic and Semantic Web Languages
• An Introduction to Description Logic
• A Bridge between Probability and Possibility in a Comparative Framework
• Extending description logics with uncertainty reasoning in possibilistic logic
• Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
• The Description Logic Handbook
• CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
• Fuzzy Measures on Finite Scales as Families of Possibility Measures
• Description Logics in Multimedia Reasoning
• Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
• Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
• Mechanizing Mathematical Reasoning
• f-SWRL: A Fuzzy Extension of SWRL

This page was built for publication: Towards Contingent World Descriptions in Description Logics