
doi: 10.3233/ia-140058
handle: 11392/2269016
Representing uncertain information is crucial for modeling real world domains. This has been fully recognized both in the field of Logic Programming and of Description Logics (DLs), with the introduction of probabilistic logic languages (PLL) in logic and with various probabilistic extensions of DLs respectively. In this work, we consider the distribution semantics and face the problem of learning PLLs and expressing and reasoning with probabilistic DLs. For PLLs, we present a parameter learning algorithm (EMBLEM) and two structure learning algorithms (SLIPCASE, SLIPCOVER): EMBLEM is based on the Expectation Maximization method and efficiently computes the expectations directly on the Binary Decision Diagrams (BDD) built for inference. It is embedded in both SLIPCASE and SLIPCOVER. The algorithms were tested on real world relational datasets and showed superior performance in almost all cases with respect to the state of the art. We then transposed both the distribution semantics and the inference techniques based on BDDs to DLs, developing a probabilistic semantics (DISPONTE) and an algorithm (BUNDLE) that computes the probability of queries over DISPONTE DLs by encoding their explanations in BDDs. We show that BUNDLE is competitive with the probabilistic reasoner PRONTO on a real probabilistic ontology.
Probabilistic Logic Programming; Probabilistic Description Logics; Statistical Relational Learning; Distribution Semantics
Probabilistic Logic Programming; Probabilistic Description Logics; Statistical Relational Learning; Distribution Semantics
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
