The Probabilistic Description Logic

DOI10.1017/s1471068420000460zbMath1529.68285arXiv2009.13407OpenAlexW3111931364MaRDI QIDQ6063856

Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza

Publication date: 12 December 2023

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2009.13407

zbMATH Keywords

knowledge representationnonmonotonic reasoningdatabasessemantic web reasoning

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• An analysis of first-order logics of probability
• Scalable uncertainty management. Second international conference, SUM 2008, Naples, Italy, October 1--3, 2008. Proceedings
• EXPtime tableaux for ALC
• Tableau reasoning for description logics and its extension to probabilities
• Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
• A Bayesian extension of the description logic \(\mathcal{ALC}\)
• The Bayesian ontology language \(\mathcal {BEL}\)
• Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$
• Probabilistic Description Logics for Subjective Uncertainty
• An Introduction to Description Logic
• The Bayesian Description Logic ${\mathcal{BEL}}$
• Axiom Pinpointing in General Tableaux
• Modeling and Reasoning with Bayesian Networks
• The DL-Lite Family and Relations
• The Description Logic Handbook
• Axiom Pinpointing in General Tableaux
• A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases

This page was built for publication: The Probabilistic Description Logic