1 citations · 5 across the 8 of their papers we have counts for
17 papers
Union and Intersection of all Justifications
Jieying Chen, Yue Ma, Rafael Peñaloza +1
We present new algorithm for computing the union and intersection of all justifications for a given ontological consequence without first computing the set of all justifications. T…
An Upper Bound for Provenance in ELHr
Rafael Peñaloza
We investigate the entailment problem in ELHr ontologies annotated with provenance information. In more detail, we show that subsumption entailment is in NP if provenance is repres…
Probabilistic Trace Alignment
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali +1
Alignments provide sophisticated diagnostics that pinpoint deviations in a trace with respect to a process model and their severity. However, approaches based on trace alignments u…
The Probabilistic Description Logic
Leonard Botha, Thomas Meyer, Rafael Peñaloza
Description logics (DLs) are well-known knowledge representation formalisms focused on the representation of terminological knowledge. Due to their first-order semantics, these lan…
Reasoning with Contextual Knowledge and Influence Diagrams
Erman Acar, Rafael Peñaloza
Influence diagrams (IDs) are well-known formalisms extending Bayesian networks to model decision situations under uncertainty. Although they are convenient as a decision theoretic…
Axiom Pinpointing
Rafael Peñaloza
Axiom pinpointing refers to the task of finding the specific axioms in an ontology which are responsible for a consequence to follow. This task has been studied, under different na…