aboutsummaryrefslogtreecommitdiff
path: root/test/resources
Commit message (Collapse)AuthorAgeFilesLines
* Improved the statistics that are generated for evaluating the system; ↵RncLsn2015-09-111-2/+2
| | | | configuration file: now default and user-specified.
* Small changesRncLsn2015-09-102-3/+5
|
* Integrated fix (manually) from upper stream.RncLsn2015-09-031-2/+2
|
* New test cases.RncLsn2015-09-031-0/+22
|
* Incremental Skolemised store (not working).RncLsn2015-08-141-2/+2
|
* Version number (2.1.1-SNAPSHOT)RncLsn2015-08-062-5/+6
|
* Rules parsing.RncLsn2015-08-041-0/+12
|
* The LimitedSkolemisation now employs a fixed-depth term instead of a ↵RncLsn2015-08-032-3/+3
| | | | constant. Performed some testing before merging with master.
* Bug-fix for answer dependencies analysis: now it checks whether the ↵RncLsn2015-07-092-4/+5
| | | | endomorphism makes the first tuple identical to the second one.
* Internalisation: added condition for existential variables (classes ↵RncLsn2015-07-081-4/+4
| | | | | | HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
* Small changes.RncLsn2015-07-071-2/+2
|
* Many little changes.RncLsn2015-07-033-15/+15
|
* Small changes.RncLsn2015-06-301-3/+3
|
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-261-2/+4
|
* Maybe fixed bug in internalisation.RncLsn2015-06-264-2/+40
|
* Small changes.RncLsn2015-06-101-2/+2
|
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-092-2/+26
|
* Violation statistics.RncLsn2015-06-051-2/+2
|
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-041-2/+2
|
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-041-4/+4
|
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-042-3/+23
|
* 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-291-2/+2
|
* Bug-fix in tester.RncLsn2015-05-281-2/+2
|
* NOT-WORKING: trying to add query-dependent Skolemisation.RncLsn2015-05-281-2/+2
|
* Removed extended queries (involving classes MyQueryReasoner and ↵RncLsn2015-05-211-2/+2
| | | | QueryRecord). Executed LightTests successfully.
* Added more tests.RncLsn2015-05-208-3/+201191
| | | | Querying of the upper bound is currently unstable.
* Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-191-0/+1
|
* Backup before changes in MyQueryReasoner.RncLsn2015-05-192-0/+34
|
* Configured Maven and improved executable class and tests.RncLsn2015-05-183-0/+37
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-22 02:41:30 +0000