@article{ZesBelRig18-AMAI-IJ, author = {Riccardo Zese and Elena Bellodi and Fabrizio Riguzzi and Giuseppe Cota and Evelina Lamma }, title = {Tableau Reasoning for Description Logics and its Extension to Probabilities}, journal = {Annals of Mathematics and Artificial Intelligence}, publisher = {Springer}, copyright = {Springer}, year = {2018}, issn-print = {1012-2443}, issn-online = {1573-7470}, url = {http://mcs.unife.it/~friguzzi/Papers/ZesBelRig-AMAI16.pdf}, pdf = {http://rdcu.be/kONG}, doi = {10.1007/s10472-016-9529-3}, abstract = { The increasing popularity of the Semantic Web drove to a wide- spread adoption of Description Logics (DLs) for modeling real world domains. To help the diffusion of DLs, a large number of reasoning algorithms have been developed. Usually these algorithms are implemented in procedural languages such as Java or C++. Most of the reasoners exploit the tableau algorithm which features non-determinism, that is not easily handled by those languages. Prolog directly manages non-determinism, thus is a good candidate for dealing with the tableau's non-deterministic expansion rules. We present TRILL, for "Tableau Reasoner for descrIption Logics in pro- Log", that implements a tableau algorithm and is able to return explanations for queries and their corresponding probability, and TRILLP , for "TRILL powered by Pinpointing formulas", which is able to compute a Boolean for- mula representing the set of explanations for a query. Reasoning on real world domains also requires the capability of managing probabilistic and uncertain information. We show how TRILL and TRILLP can be used to compute the probability of queries to knowledge bases following DISPONTE semantics. Experiments comparing these with other systems show the feasibility of the approach.}, keywords = { Description Logics, Tableau, Prolog, Semantic Web}, scopus = {2-s2.0-84990986085} }

@incollection{RigSwi18-WFS-BC, title = {Probabilistic Logic Programming Under the Distribution Semantics}, author = {Fabrizio Riguzzi and Theresa Swift}, year = {2018}, editor = {Michael Kifer and Yanhong A. Liu}, booktitle = {Declarative Logic Programming: Theory, Systems, and Applications}, publisher = {Association for Computing Machinery and Morgan \& Claypool}, pdf = {http://mcs.unife.it/~friguzzi/Papers/RigSwi-WFS16.pdf} }

@article{GavLam18-FI-IJ, author = {Gavanelli, Marco and Lamma, Evelina and Riguzzi, Fabrizio and Bellodi, Elena and Zese, Riccardo and Cota, Giuseppe}, title = {Reasoning on Datalog+- Ontologies with Abductive Logic Programming}, year = {2018}, journal = {Fundamenta Informaticae}, volume = {159}, doi = {10.3233/FI-2018-1658}, pages = {65--93}, pdf = {http://mcs.unife.it/~friguzzi/Papers/GavLam-FI18.pdf} }

*This file was generated by
bibtex2html 1.96.*