TRILL on SWISH is a web application for trying probabilistic semantic web reasoning. It was written by ML@UniFE , the Machine Learning group at the University of Ferrara 

Please use this forum for questions or send an email to trill-system@googlegroups.com.

SWISH is a great tool for teaching Prolog. We provide a prototype of Learn Prolog Now! where SWISH is embedded to run examples and solve exercises from within your browser. Peter Flach created an online version of his book Simply Logical to embed SWISH.

The TRILL on SWISH source is available from Github. It requires SWI-Prolog installed from the latest GIT.

The TRILL source is available from Github.

The SWISH source is available from Github. It is under heavy development and often requires SWI-Prolog 7 installed from the latest GIT. We also provide a Docker image.

Avatar graphics created by Noble Master Games, designed by Mei-Li Nieuwland.

Running the public TRILL-on-SWISH and SWISH instances involves hiring (currently) three servers in the cloud as well as significant maintenance work. Institutes that use TRILL on SWISH and/or SWISH for teaching OWL language and/or Prolog are kindly requested to consider sponsoring SWI-Prolog using the Github sponsor button below to help us maintaining and improving SWISH.

SWISH is described in

• Jan Wielemaker, Torbjörn Lager, and Fabrizio Riguzzi. SWISH: SWI-Prolog for sharing. In Stefan Ellmauthaler and Claudia Schulz, editors, International Workshop on User-Oriented Logic Programming (IULP 2015), © by the authors, 2015.
  [ bib | http ]

The algorithm for probabilistic inference (TRILL) is described in:

• Riccardo Zese, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Evelina Lamma. Probabilistic DL reasoning with pinpointing formulas: A Prolog-based approach. Theory and Practice of Logic Programming, 19(3):449--476, 2019. [ bib | DOI | .pdf ]
• Riccardo Zese. Probabilistic Semantic Web, volume 28 of Studies on the Semantic Web. IOS Press, 2017. [ bib | DOI | http ]
• Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, and Giuseppe Cota. A web system for reasoning with probabilistic OWL. Software: Practice and Experience, 47(1):125-142, © Wiley, January 2017. [ bib | DOI | .pdf ]
• Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, and Evelina Lamma. Tableau reasoning for description logics and its extension to probabilities. Annals of Mathematics and Artificial Intelligence, 82(1):101--130, © Springer, March 2018. [ bib | DOI | .pdf | http ]
• Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Logic programming techniques for reasoning with probabilistic ontologies. In Odile Papini, Salem Benferhat, Laurent Garcia, and Marie-Laure Mugnier, editors, International Workshop on Ontologies and Logic Programming for Query Answering, © by the authors, 2015.
  [ bib | .pdf | http ]
• Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Tableau reasoners for probabilistic ontologies exploiting logic programming techniques. In Elena Bellodi and Alessio Bonfietti, editors, Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), volume 1485 of CEUR Workshop Proceedings, pages 1-6, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe.
  [ bib | .pdf ]
• Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Fabiano Aguiari. Semantics and inference for probabilistic description logics. In Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, editors, Uncertainty Reasoning for the Semantic Web III, volume 8816 of Lecture Notes in Computer Science, pages 79-99. Springer International Publishing, © Springer International Publishing, 2014. The original publication is available at http://www.springerlink.com.
  [ bib | DOI | .pdf ]

TRILL on SWISH is available also as a cpack for Cliopatria. ClioPatria is available here and from Github.