@inproceedings{RigBelLamZes13-AIIA13-IC,
title = {Computing Instantiated Explanations {in~OWL~DL}},
author = { Fabrizio Riguzzi and Elena Bellodi and Evelina Lamma and Riccardo Zese},
booktitle = {Proceedings of the 13th Conference of the Italian Association for Artificial Intelligence ({AI*IA2013}),
Turin, Italy, 4-6 December 2013},
editor = {Matteo Baldoni and
Cristina Baroglio and Guido Boella},
year = {2013},
pages = {397-408},
volume = {8249},
publisher = {Springer},
copyright = {Springer},
series = {Lecture Notes in Artificial Intelligence},
address = {Heidelberg, Germany},
pdf = {http://ml.unife.it/wp-content/uploads/Papers/RigBelLamZes-AIIA13.pdf},
note = {The original publication is available at
\url{http://link.springer.com}},
doi = {10.1007/978-3-319-03524-6_34}
}
@inproceedings{ZesBelLamRig13-CILC13-NC,
title = {A Description Logics Tableau Reasoner in {Prolog}},
author = {Riccardo Zese and Elena Bellodi and Evelina Lamma and Fabrizio Riguzzi},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic ({CILC2013}),
Catania, Italy, 25-27 September 2013},
editor = {Domenico Cantone and Marianna Nicolosi Asmundo},
year = {2013},
series = {CEUR Workshop Proceedings},
publisher = {Sun {SITE} Central Europe},
issn = {1613-0073},
number = {1068},
address = {Aachen, Germany},
pages = {33-47},
pdf = {http://ml.unife.it/wp-content/uploads/Papers/ZesBelLamRig-CILC13.pdf},
url = {http://ceur-ws.org/Vol-1068/paper-l02.pdf},
copyright = {by the authors}
}
@inproceedings{RigBelLamZese13-RR13b-IC,
title = {{BUNDLE}: A Reasoner for Probabilistic Ontologies},
author = {Fabrizio Riguzzi and Evelina Lamma and Elena Bellodi and Riccardo Zese},
booktitle = {7th International Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, July 27-29 2013. Proceedings},
editor = {Faber, Wolfgang and Lembo, Domenico},
year = {2013},
volume = {7994},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
address = {Heidelberg, Germany},
isbn = {978-3-642-39665-6},
copyright = {Springer},
pages = {183-197},
doi = {10.1007/978-3-642-39666-3_14},
pdf = {http://ml.unife.it/wp-content/uploads/Papers/RigBelLam-RR13b.pdf},
abstract = {
Representing uncertain information is very important for modeling real world domains.
Recently, the DISPONTE semantics has been proposed for probabilistic description logics.
In DISPONTE, the axioms of a knowledge base can be annotated with a set of variables and a real number between 0 and 1. This real number represents the probability of each version of the axiom in which the specified variables are instantiated.
In this paper we present the algorithm BUNDLE for computing the probability of queries from DISPONTE knowledge bases that follow the $\mathcal{ALC}$ semantics. BUNDLE exploits an underlying DL reasoner, such as Pellet, that is able to return explanations for queries. The explanations are encoded in a Binary Decision Diagram from which the probability of the query is computed.
The experiments performed by applying BUNDLE to probabilistic knowledge bases show that it can handle ontologies of realistic size and is competitive with the system PRONTO for the probabilistic description logic P-$\mathcal{SHIQ}$(D).
},
keywords = {Probabilistic Ontologies, Probabilistic Description Logics, OWL, Probabilistic Logic Programming, Distribution Semantics},
note = {The original publication is available at
\url{http://link.springer.com}}
}
@inproceedings{RigBelLamZese13-RR13a-IC,
author = {Fabrizio Riguzzi and Elena Bellodi and Evelina Lamma and Riccardo Zese},
title = {Parameter Learning for Probabilistic Ontologies},
booktitle = {7th International Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, July 27-29 2013. Proceedings},
editor = {Faber, Wolfgang and Lembo, Domenico},
year = {2013},
volume = {7994},
isbn = {978-3-642-39665-6},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
address = {Heidelberg, Germany},
copyright = {Springer},
pages = {265-270},
doi = {10.1007/978-3-642-39666-3_26},
pdf = {http://ml.unife.it/wp-content/uploads/Papers/RigBelLam-RR13a.pdf},
note = {The original publication is available at
\url{http://link.springer.com}},
abstract = {Recently, the problem of representing uncertainty in Description Logics (DLs) has received an increasing attention.
In probabilistic DLs, axioms contain numeric parameters that are often difficult to specify or to tune for a human.
In this paper we present an approach for learning and tuning the parameters of
probabilistic ontologies from data. The resulting algorithm,
called EDGE, for Em over bDds for description loGics paramEter learning,
is targeted to DLs following the DISPONTE approach,
that applies the distribution semantics to DLs.},
keywords = {Statistical Relational Learning, Probabilistic Inductive Logic Programming, Probabilistic Logic Programming, Expectation Maximization, Binary Decision Diagrams,
Logic Programs with Annotated Disjunctions}
}
@article{AlbGavLam13-FI-IJ,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma},
title = {The CHR-based Implementation of the {SCIFF} Abductive System},
journal = {Fundam. Inform.},
volume = {124},
number = {4},
pages = {365--381},
year = {2013},
url = {http://dx.doi.org/10.3233/FI-2013-839},
doi = {10.3233/FI-2013-839},
timestamp = {Tue, 18 Jun 2013 15:03:39 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/AlbertiGL13},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
This file was generated by bibtex2html 1.98.