Instance-based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
Aus International Center for Computational Logic
Instance-based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
Rafael PeñalozaRafael Peñaloza, Anni-Yasmin TurhanAnni-Yasmin Turhan
Rafael Peñaloza, Anni-Yasmin Turhan
Instance-based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
In Fernando {Bobillo} and Paulo C. G. {Costa} and Claudia {d'Amato} and Nicola {Fanizzi} and Kathryn B. {Laskey} and Kenneth J. {Laskey} and Thomas {Lukasiewicz} and Matthias {Nickles} and Michael {Pool}, eds., Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, Lecture Notes in Computer Science, 80--98, 2013. Springer
Instance-based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
In Fernando {Bobillo} and Paulo C. G. {Costa} and Claudia {d'Amato} and Nicola {Fanizzi} and Kathryn B. {Laskey} and Kenneth J. {Laskey} and Thomas {Lukasiewicz} and Matthias {Nickles} and Michael {Pool}, eds., Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, Lecture Notes in Computer Science, 80--98, 2013. Springer
- KurzfassungAbstract
For practical ontology-based applications representing and reasoningwith probabilities is an essential task. For Description Logics with subjective probabilities reasoning procedures for testing instance relations based on the completion method have been developed.
In this paper we extend this technique to devise algorithms for solving non-standard inferences for EL and its probabilistic extension Prob-EL^01: computing the most specific concept of an
individual and finding explanations for instance relations. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ PeTu12,
author = {Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
booktitle = {Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers},
editor = {Fernando {Bobillo} and Paulo C. G. {Costa} and Claudia {d'Amato} and Nicola {Fanizzi} and Kathryn B. {Laskey} and Kenneth J. {Laskey} and Thomas {Lukasiewicz} and Matthias {Nickles} and Michael {Pool}},
number = {7123},
pages = {80--98},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {Instance-based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities},
year = {2013},
}
