aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Improved the statistics that are generated for evaluating the system; configu...RncLsn2015-09-111-2/+2
* Small changesRncLsn2015-09-104-5/+19
* Integrated fix (manually) from upper stream.RncLsn2015-09-032-3/+4
* New test cases.RncLsn2015-09-034-1/+112
* Incremental Skolemised store (not working).RncLsn2015-08-141-2/+2
* Version number (2.1.1-SNAPSHOT)RncLsn2015-08-064-6/+18
* Rules parsing.RncLsn2015-08-042-0/+331
* The LimitedSkolemisation now employs a fixed-depth term instead of a constant...RncLsn2015-08-034-5/+6
* 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-095-12/+77
* Internalisation: added condition for existential variables (classes HermitChe...RncLsn2015-07-082-5/+63
* Small changes.RncLsn2015-07-071-2/+2
* Many little changes.RncLsn2015-07-038-41/+136
* Reactome test: standard and sygenia queries.RncLsn2015-07-032-0/+283
* Small changes.RncLsn2015-06-301-3/+3
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-265-6/+34
* Maybe fixed bug in internalisation.RncLsn2015-06-268-32/+160
* Small changes.RncLsn2015-06-103-91/+107
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-094-7/+99
* Violation statistics.RncLsn2015-06-051-2/+2
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-042-3/+3
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-041-4/+4
* Removed useless directory ".idea".RncLsn2015-06-041-2/+0
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-044-3/+123
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-031-3/+3
* Before reintroducing extended queries.RncLsn2015-06-032-1/+2
* Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).RncLsn2015-06-021-1/+1
* Disposable.RncLsn2015-05-291-2/+2
* Anonymous ontology id.RncLsn2015-05-292-4/+3
* Bug-fix in tester.RncLsn2015-05-287-49/+61
* Merge branch 'upstream' into Query-dependent-skolemisationRncLsn2015-05-281-52/+61
|\
| * fixed a bug in the process of generating gap tuples, see test inyujiao2015-05-251-0/+77
| * turned on the LOG switch in Utilityyzhou2015-05-221-0/+25
* | Merged updates from upstream.RncLsn2015-05-282-8/+101
* | NOT-WORKING: trying to add query-dependent Skolemisation.RncLsn2015-05-281-2/+2
* | Removed extended queries (involving classes MyQueryReasoner and QueryRecord)....RncLsn2015-05-211-2/+2
* | Added more tests.RncLsn2015-05-2015-71/+201255
* | Deleted unused classes.RncLsn2015-05-192-10/+26
* | Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-194-5/+6
* | Backup before changes in MyQueryReasoner.RncLsn2015-05-1913-164/+460
* | Configured Maven and improved executable class and tests.RncLsn2015-05-1823-1096/+224
* | Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-1518-53/+77
* | Adding (not completed) log of partial answers in Json.RncLsn2015-05-096-21/+25
* | Making the output machine-readable (JSON).RncLsn2015-05-0715-286/+339
* | Switch from JUnit to TestNG.RncLsn2015-05-0620-285/+334
|/
* removed debug output for ore compitition yzhou2015-05-021-1/+2
* add time tag to the temporary outputyzhou2015-05-011-2/+1
* downgrade owl api and reorganised src filesyzhou2015-04-3023-2706/+4
* added top answers optimisation backyzhou2015-04-291-2/+2
* handle inconsistent ontologyyzhou2015-04-291-0/+6
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-20 21:49:14 +0000