aboutsummaryrefslogtreecommitdiff
path: root/test/resources/LightTests.xml
Commit message (Expand)AuthorAgeFilesLines
* Many little changes.RncLsn2015-07-031-21/+0
* 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-261-2/+2
* Small changes.RncLsn2015-06-101-2/+2
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-091-2/+2
* 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-041-3/+3
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-031-3/+3
* Before reintroducing extended queries.RncLsn2015-06-031-0/+1
* 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 QueryRecord)....RncLsn2015-05-211-2/+2
* Added more tests.RncLsn2015-05-201-3/+3
* Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-191-0/+1
* Backup before changes in MyQueryReasoner.RncLsn2015-05-191-0/+17
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-05 14:47:36 +0000