trill_on_swish/commit

TRILL on SWISH v. 2.0

authorrzese
Fri Jul 15 16:14:21 2016 +0200
committerrzese
Fri Jul 15 16:14:21 2016 +0200
commit38f9937a46d56d697f7f0f4098aa884ed3abe067
tree8a182cab4551a36bbc0adbfaa3b28b472b01e17d
parent548de31b39b068258ec1e5efb4e17d9b9181ed5a
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&ouml;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&ouml;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>