We introduce the probabilistic Description Logic BEL. In BEL, axioms are required to hold only in an associated context. The probabilistic component of the logic is given by a Bayesian network that describes the joint probability distribution of the contexts. We study the main reasoning problems in this logic; in particular, we (i) prove that deciding positive and almost-sure entailments is not harder for BEL than for the BN, and (ii) show how to compute the probability, and the most likely context for a consequence.

Ceylan, I., Penaloza, R. (2014). The Bayesian Description Logic BEL. In Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings (pp.480-494). Springer [10.1007/978-3-319-08587-6_37].

The Bayesian Description Logic BEL

Penaloza, R
2014

Abstract

We introduce the probabilistic Description Logic BEL. In BEL, axioms are required to hold only in an associated context. The probabilistic component of the logic is given by a Bayesian network that describes the joint probability distribution of the contexts. We study the main reasoning problems in this logic; in particular, we (i) prove that deciding positive and almost-sure entailments is not harder for BEL than for the BN, and (ii) show how to compute the probability, and the most likely context for a consequence.
paper
Probabilistic reasoning, description logics
English
International Joint Conference on Automated Reasoning (IJCAR 2014)
2014
Demri, S; Kapur, D; Weidenbach, C
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
978-331908586-9
2014
8562
480
494
reserved
Ceylan, I., Penaloza, R. (2014). The Bayesian Description Logic BEL. In Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings (pp.480-494). Springer [10.1007/978-3-319-08587-6_37].
File in questo prodotto:
File Dimensione Formato  
CePe-IJCAR14.pdf

Solo gestori archivio

Dimensione 362.22 kB
Formato Adobe PDF
362.22 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/256763
Citazioni
  • Scopus 28
  • ???jsp.display-item.citation.isi??? 15
Social impact