aboutsummaryrefslogtreecommitdiff
path: root/src/resources
Commit message (Collapse)AuthorAgeFilesLines
* The LimitedSkolemisation now employs a fixed-depth term instead of a ↵RncLsn2015-08-031-1/+1
| | | | constant. Performed some testing before merging with master.
* Option for SkolemUpperBound application and for skolemisation depth (from ↵RncLsn2015-08-011-1/+4
| | | | file pagoda.properties).
* 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-052-2/+4
|
* 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-205-60/+2
| | | | Querying of the upper bound is currently unstable.
* Deleted unused classes.RncLsn2015-05-191-1/+1
|
* Configured Maven and improved executable class and tests.RncLsn2015-05-184-0/+84