Probabilistic description logics for subjective uncertainty
From MaRDI portal
Recommendations
- Expressive probabilistic description logics
- Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- The complexity of the consistency problem in the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\)
- Towards Statistical Reasoning in Description Logics over Finite Domains
Cited in
(25)- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete
- Enhancing probabilistic model checking with ontologies
- The complexity of the consistency problem in the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\)
- Extending \(\mathcal{EL}^{++}\) with linear constraints on the probability of axioms
- A Bayesian extension of the description logic \(\mathcal{ALC}\)
- Counting strategies for the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\) under the principle of maximum entropy
- Expressive probabilistic description logics
- Tight complexity bounds for reasoning in the description logic \(\mathcal{BEL}\)
- scientific article; zbMATH DE number 2089428 (Why is no real title available?)
- Probabilistic federated \(\mathcal {ALCI}\)
- The Bayesian description logic \({\mathcal{BEL}}\)
- Towards decision making via expressive probabilistic ontologies
- Computing subjective expected utility using probabilistic description logics
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
- Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
- Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations
- The Probabilistic Description Logic
- Acquisition of Terminological Knowledge in Probabilistic Description Logic
- Analyzing Natural-Language Knowledge Under Uncertainty on the Basis of Description Logics
- Coalgebraic satisfiability checking for arithmetic -calculi
- Monodic fragments of probabilistic first-order temporal logic with bounded semantics
- A formal framework for description logics with uncertainty
This page was built for publication: Probabilistic description logics for subjective uncertainty
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2953940)
