TRILL on SWISH is a web application for trying probabilistic semantic web reasoning with a web browser on any operating system. It was written by Riccardo Zese and Fabrizio Riguzzi.

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

TRILL on SWISH is built upon SWISH that was originally written by Torbjörn Lager as a homage to SWI-Prolog. Jan Wielemaker designed and implemented the present version. The current SWISH application targets primarily at collaborative exploration of data. SWISH can be combined with e.g., CQL to explore relational (SQL) databases or sparkle to explore linked data. A ClioPatria plugin adds Prolog based exploration of RDF data to ClioPatria.

TRILL on SWISH extends SWISH. The application can also run on top of the ClioPatria framework.

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

The SWISH source is available from Github.

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

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, 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 ]
• 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, 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 ]