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.
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.
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.
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 |
The algorithm for probabilistic inference (TRILL) is described in:
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 |
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, 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 |