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- EL01c: computing the most specific concept of an individual and finding explanations for instance relations.
Penaloza, R., Turhan, A. (2013). Instance-based Non-standard Inferences in EL with Subjective Probabilities. In Bobillo F, Costa PCG, d'Amato C, Fanizzi N, Laskey KB, Laskey KJ, et al. (a cura di), Uncertainty Reasoning for the Semantic Web II: International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers (pp. 80-98). Springer-Verlag [10.1007/978-3-642-35975-0_5].
Instance-based Non-standard Inferences in EL with Subjective Probabilities
Penaloza, R
;
2013
Abstract
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- EL01c: computing the most specific concept of an individual and finding explanations for instance relations.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Penaloza-2013-Uncertainty Reason Semantic Web II-AAM.pdf
accesso aperto
Descrizione: Conference Paper
Tipologia di allegato:
Author’s Accepted Manuscript, AAM (Post-print)
Licenza:
Altro
Dimensione
414.24 kB
Formato
Adobe PDF
|
414.24 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
