aboutsummaryrefslogtreecommitdiff
path: root/src/resources/pagoda.properties
Commit message (Expand)AuthorAgeFilesLines
* Improved the statistics that are generated for evaluating the system; configu...RncLsn2015-09-111-2/+2
* Integrated fix (manually) from upper stream.RncLsn2015-09-031-2/+2
* Incremental Skolemised store (seems completed).RncLsn2015-08-241-1/+5
* Incremental Skolemised store (not working).RncLsn2015-08-141-1/+1
* Rules parsing.RncLsn2015-08-041-2/+2
* The LimitedSkolemisation now employs a fixed-depth term instead of a constant...RncLsn2015-08-031-1/+1
* Option for SkolemUpperBound application and for skolemisation depth (from fil...RncLsn2015-08-011-1/+4
* Small changes.RncLsn2015-07-071-1/+1
* Many little changes.RncLsn2015-07-031-0/+1
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-261-1/+1
* Maybe fixed bug in internalisation.RncLsn2015-06-261-1/+1
* Violation statistics.RncLsn2015-06-051-1/+3
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-041-1/+1
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-031-1/+3
* Added more tests.RncLsn2015-05-201-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-30 05:56:04 +0000