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 email@example.com.
SWISH 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.
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
excercises from within your browser. Peter Flach prepared his book
Simply Logical for
The TRILL on SWISH source is available from Github.
It requires SWI-Prolog installed from the latest GIT.
source is available from
The SWISH source is available from Github. It is under
heavy development and often requires SWI-Prolog 7 installed from the
We also provide a Docker image.
Avatar graphics created by Noble
Master Games, designed by
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 |
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 |
Probabilistic Semantic Web, volume 28 of Studies on the
IOS Press, 2017.
[ bib |
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, and Giuseppe
A web system for reasoning with probabilistic OWL.
Software: Practice and Experience, 47(1):125-142,
© Wiley, January 2017.
[ bib |
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 |
Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi.
Logic programming techniques for reasoning with probabilistic
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 |
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma.
Tableau reasoners for probabilistic ontologies exploiting logic
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 |
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Fabiano
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
[ bib |
TRILL on SWISH is
available also as a cpack for Cliopatria.
ClioPatria is available here and from Github.