• Publications
  • Influence
Reasoning with Probabilistic Ontologies
TLDR
Approaches for performing inference from probabilistic ontologies following the DISPONTE semantics are discussed and the algorithm BUNDLE is presented for computing the probability of queries. Expand
Probabilistic Description Logics under the distribution semantics
TLDR
This paper presents the algorithm BUNDLE for computing the probability of queries from DISPONTE knowledge bases, which exploits an underlying DL reasoner, such as Pellet, that is able to return explanations for queries. Expand
Epistemic and Statistical Probabilistic Ontologies
TLDR
In DISPONTE the axioms of a probabilistic ontology can be annotated with an epistemic or a statistical probability, while the statistical probability considers the populations to which the axiom is applied. Expand
A History of Probabilistic Inductive Logic Programming
TLDR
An overview of PILP is presented and the main results are discussed, showing how structure learning systems use parameter learning as a subroutine to improve the quality of their results. Expand
An Abductive Framework for Datalog± Ontologies
TLDR
This work shows that Abductive Logic Programming (ALP) is also a suitable framework for representing Datalog± ontologies, supporting query answering through an abductive proof procedure, and smoothly achieving the integration of ontologies and rulebased reasoning. Expand
Tableau reasoning for description logics and its extension to probabilities
TLDR
TRLL and TRILLP can be used to compute the probability of queries to knowledge bases following DISPONTE semantics and experiments comparing these with other systems show the feasibility of the approach. Expand
Probabilistic Logic Programming for Natural Language Processing
TLDR
It is shown that Probabilistic Logic Programming (PLP) is a suitable approach for NLP in various scenarios and is used for cplint on SWISH, a web application for Probabilism Logic Programming. Expand
Probabilistic logic programming on the web
TLDR
cplint on SWISH, a web interface to cplint, allows users to experiment with Probabilistic Logic Programming without the need to install a system, a procedure that is often complex, error prone, and limited mainly to the Linux platform. Expand
cplint on SWISH: Probabilistic Logical Inference with a Web Browser
TLDR
Advances and new features of cplint on SWISH are reported, including the capability of drawing the binary decision diagrams created during the inference processes, and the system now allows hybrid programs, i.e., programs where some of the random variables are continuous. Expand
BUNDLE: A Reasoner for Probabilistic Ontologies
TLDR
The algorithm BUNDLE is presented, which exploits an underlying DL reasoner, such as Pellet, that is able to return explanations for queries, and can handle ontologies of realistic size and is competitive with the system PRONTO for the probabilistic description logic P-$\mathcal{SHIQ}$(D). Expand
...
1
2
3
4
5
...