Instance-based Non-standard Inferences in EL with Subjective Probabilities

Rafael PeñalozaRafael Peñaloza, Anni-Yasmin TurhanAnni-Yasmin Turhan

Download

Rafael Peñaloza, Anni-Yasmin Turhan
Instance-based Non-standard Inferences in 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

Details
Bibtex

KurzfassungAbstract
For practical ontology-based applications representing and reasoning with 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

The final publication is available at Springer.

@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},
}