Completion-based generalization inferences for the description logic ELOR with subjective probabilities
DOI10.1016/J.IJAR.2014.03.001zbMATH Open1433.68418OpenAlexW2043633605MaRDI QIDQ465595FDOQ465595
Authors: Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan 
Publication date: 23 October 2014
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2014.03.001
Recommendations
- Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
- Probabilistic description logics for subjective uncertainty
- Description Logics
- Extending \(\mathcal{EL}^{++}\) with linear constraints on the probability of axioms
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
description logicsgeneralizationsleast common subsumermost specific conceptnon-standard inferencesprobabilistic description logics
Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic in artificial intelligence (68T27)
Cites Work
- Axiom Pinpointing in General Tableaux
- Title not available (Why is that?)
- An analysis of first-order logics of probability
- Expressive probabilistic description logics
- Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
- Automata-based axiom pinpointing
Cited In (1)
Uses Software
This page was built for publication: Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q465595)
