trill_on_swish/commit
fix profiles and examples
author | rzese |
---|---|
Fri Jul 15 16:21:04 2016 +0200 | |
committer | rzese |
Fri Jul 15 16:21:04 2016 +0200 | |
commit | 890b440622f06619c2e314b9f8ba114efc5d46ac |
tree | 00bcd35edd1b972ffc7ca3ec3ff0ce758537b8b0 |
parent | 38f9937a46d56d697f7f0f4098aa884ed3abe067 |
Diff style: patch stat
diff --git a/Makefile b/Makefile index adf9222..bc648fe 100644 --- a/Makefile +++ b/Makefile @@ -30,8 +30,9 @@ CLIENTS=$(addprefix client/, $(CLIENTFILES)) EXAMPLESFILES=biopaxLevel3.pl BRCA.pl DBPedia.pl examples.swinb \ peoplePets.pl vicodi.pl commander.pl johnEmployee.pl index.json EXAMPLES=$(addprefix examples/, $(EXAMPLESFILES)) -PROFILESFILES=00-Empty.pl 00-Empty.swinb 10-Non-Probabilistic.pl \ - 10-Non-Probabilistic.swinb 20-Probabilistic.pl 20-Probabilistic.swinb +PROFILESFILES=00-Empty.pl 00-Empty.swinb 10-Empty-TRILL.pl 10-Empty-TRILL.swinb \ + 20-Non-Probabilistic-TRILL.pl 20-Non-Probabilistic-TRILL.swinb \ + 30-Probabilistic-TRILL.pl 30-Probabilistic-TRILL.swinb PROFILES=$(addprefix profiles/, $(PROFILESFILES)) CMFILES=mode/htmlmixed/htmlmixed.js \ mode/javascript/javascript.js \ diff --git a/examples/examples.swinb b/examples/examples.swinb deleted file mode 100644 index e8cb0a0..0000000 --- a/examples/examples.swinb +++ /dev/null @@ -1,19 +0,0 @@ -<div class="notebook"> - -<div class="nb-cell markdown"> -# Welcome to TRILL on SWISH - -You are reading a TRILL on SWISH _notebook_. A notebook is a mixture of _text_, _programs_ and _queries_. This notebook gives an overview of example programs shipped with TRILL on SWISH. - -- *Examples* - - [Biopax](example/biopaxLevel3.pl) models metabolic pathways ([Home Page](http://www.biopax.org/)). - - [BRCA](example/BRCA.pl) models risk factor of breast cancer, from Klinov, P., Parsia, B.: _Optimization and evaluation of reasoning in probabilistic - description logic: Towards a systematic approach_. In: International Semantic Web Conference. LNCS, vol. 5318, pp. 213-228. Springer (2008). - - [DBPedia](example/DBPedia.pl) is an extract of the DBPedia ontology, it contains structured information from Wikipedia ([Home Page](http://dbpedia.org/)). - - [people+pets](example/peoplePets.pl) uses both RDF/XML and Prolog syntax. It is inpired by the people+pets ontology from Patel-Schneider, P, F., Horrocks, I., and Bechhofer, S. 2003. _Tutorial on OWL_. The knowledge base indicates that the individuals that own an animal which is a pet are nature lovers, from Zese, R.: _Reasoning with Probabilistic Logics_. ArXiv e-prints 1405.0915v3. Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), July 19-22, Vienna, Austria. - - [Vicodi](example/vicodi.pl) is an extract of the Vicodi knowledge base that contains information on European history ([Home Page](http://www.vicodi.org/)). - - [Commander](example/commander.pl) is an example using only Prolog syntax. - - [John employee](example/johnEmployee.pl) is the example shown in help. -</div> - -</div>