aboutsummaryrefslogtreecommitdiff
path: root/test/uk/ac/ox/cs/pagoda/global_tests
Commit message (Expand)AuthorAgeFilesLines
* 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-3/+4
* Bug-fix for answer dependencies analysis: now it checks whether the endomorph...RncLsn2015-07-091-8/+6
* Internalisation: added condition for existential variables (classes HermitChe...RncLsn2015-07-081-1/+59
* Many little changes.RncLsn2015-07-034-26/+105
* Reactome test: standard and sygenia queries.RncLsn2015-07-032-0/+283
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-263-2/+29
* Maybe fixed bug in internalisation.RncLsn2015-06-264-30/+120
* Small changes.RncLsn2015-06-102-89/+105
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-091-4/+56
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-041-1/+1
* Removed useless directory ".idea".RncLsn2015-06-041-2/+0
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-042-0/+100
* Bug-fix in tester.RncLsn2015-05-285-35/+71
* Merged updates from upstream.RncLsn2015-05-281-158/+0
* Added more tests.RncLsn2015-05-205-66/+53
* Deleted unused classes.RncLsn2015-05-191-10/+12
* Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-193-5/+5
* Backup before changes in MyQueryReasoner.RncLsn2015-05-196-99/+109
* Configured Maven and improved executable class and tests.RncLsn2015-05-1815-280/+174
* Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-1514-0/+925
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-29 20:40:17 +0000