trill_on_swish/commit
TRILL on SWISH v. 2.0
author | rzese |
---|---|
Fri Jul 15 16:14:21 2016 +0200 | |
committer | rzese |
Fri Jul 15 16:14:21 2016 +0200 | |
commit | 38f9937a46d56d697f7f0f4098aa884ed3abe067 |
tree | 8a182cab4551a36bbc0adbfaa3b28b472b01e17d |
parent | 548de31b39b068258ec1e5efb4e17d9b9181ed5a |
Diff style: patch stat
diff --git a/examples/index.json b/examples/index.json index faf211d..9549790 100644 --- a/examples/index.json +++ b/examples/index.json @@ -1,13 +1,9 @@ // list of examples, represented as a JSON list -[ -{ "file":"examples.swinb", "title":"Example programs" }, -"--", -{ "file":"biopaxLevel3.pl", "title":"Biopax" }, -{ "file":"BRCA.pl", "title":"BRCA" }, -{ "file":"DBPedia.pl", "title":"DBPedia" }, -{ "file":"peoplePets.pl", "title":"people+pets" }, -{ "file":"vicodi.pl", "title":"Vicodi" }, -{ "file":"commander.pl", "title":"Commander" }, -{ "file":"johnEmployee.pl", "title":"John employee"} +[ { "file":"trill/examples_trill.swinb", "title":"TRILL example programs" }, + { "file":"examples_swish.swinb", "title":"Prolog example programs" }, + { "file":"prolog_tutorials.swinb", "title":"Prolog tutorials" }, + { "file":"swish_tutorials.swinb", "title":"SWISH tutorials" }, + "--", + { "file":"stats.swinb", "title":"Usage statistics" } ] diff --git a/src b/src index fde97c2..42af397 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit fde97c24562b580fc3925b3c0b0089cc0da204b7 +Subproject commit 42af39754318fad03256ca2ef297f4247bf45b39 diff --git a/web/help/about.html b/web/help/about.html index de60117..723e4b4 100644 --- a/web/help/about.html +++ b/web/help/about.html @@ -37,8 +37,9 @@ <span style="color:darkblue">TRILL</span><span style="color:maroon"> on </span><span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> is a web application for trying <span itemprop="applicationCategory">probabilistic semantic web reasoning</span> with a web browser on <span itemprop="operatingSystem">any operating system</span>. It was written by Riccardo Zese and Fabrizio Riguzzi. </p> <p>Please use this <a href="https://groups.google.com/forum/#!forum/trill-system" target="_blank">forum</a> for questions or send an email to <a href="mailto:trill-system@googlegroups.com">trill-system@googlegroups.com</a>.</p> -<p><span style="color:darkblue">SWI</span><span -style="color:maroon">SH</span> was originally written by Torbjörn Lager +<p><span style="color:darkblue">TRILL</span><span style="color:maroon"> on </span><span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> +is built upon <span style="color:darkblue">SWI</span><span +style="color:maroon">SH</span> that was originally written by Torbjörn Lager as a homage to SWI-Prolog. Jan Wielemaker designed and implemented the present version. The current <span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> @@ -53,7 +54,7 @@ href="http://cliopatria.swi-prolog.org/packs/swish>">ClioPatria plugin</a> adds Prolog based exploration of RDF data to ClioPatria. </p> <p> -<span style="color:darkblue">TRILL</span><span style="color:maroon"> on </span><span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> extends <span style="color:darkblue">SWI</span><span style="color:maroon">SH</span>. The application runs on top of the ClioPatria framework. +<span style="color:darkblue">TRILL</span><span style="color:maroon"> on </span><span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> extends <span style="color:darkblue">SWI</span><span style="color:maroon">SH</span>. The application can also run on top of the ClioPatria framework. </p> <p> diff --git a/web/help/background.html b/web/help/background.html index 68ac6ba..0245e29 100644 --- a/web/help/background.html +++ b/web/help/background.html @@ -16,6 +16,9 @@ <h2 id="motivation">Motivation</h2> <p> +<span style="color:darkblue">TRILL</span><span style="color:maroon"> on </span><span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> allows the user to write probabilistic Description Logic theories and compute the probability of queries with just a web browser. Moreover, it features all the functionalities of <span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> +</p> +<p> <span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> is inspired by web-based tools such as <a target="_blank" href="http://jsfiddle.net/">JSFIDDLE</a> in that it @@ -100,12 +103,15 @@ available</a> <h2 id="source_code">Source code</h2> <p> -The source code for <span style="color:darkblue">SWI</span><span -style="color:maroon">SH</span> is available on <a target="_blank" -href="https://github.com/SWI-Prolog/swish">GitHub</a>.<br/> The source code for <span style="color:darkblue">TRILL</span><span style="color:maroon"> on </span><span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> is available on <a target="_blank" href="https://github.com/friguzzi/trill_on_swish">GitHub</a>. +</p> +<p> +The source code for <span style="color:darkblue">SWI</span><span +style="color:maroon">SH</span> is available on <a target="_blank" +hre="https://github.com/SWI-Prolog/swish">GitHub</a>. +</p> </body> </html>