aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Version number.v2.1.0RncLsn2015-08-061-1/+1
* The LimitedSkolemisation now employs a fixed-depth term instead of a constant...RncLsn2015-08-038-27/+43
* CLI option names.RncLsn2015-08-031-1/+20
* Option for SkolemUpperBound application and for skolemisation depth (from fil...RncLsn2015-08-018-209/+291
* Bug-fix for answer dependencies analysis: now it checks whether the endomorph...RncLsn2015-07-0910-35/+128
* Internalisation: added condition for existential variables (classes HermitChe...RncLsn2015-07-086-31/+111
* Small changes.RncLsn2015-07-073-13/+22
* Merge remote-tracking branch 'origin/While_finding_test_cases' into While_fin...RncLsn2015-07-060-0/+0
|\
| * Added script for plotting times.RncLsn2015-07-061-0/+29
* | Added script for plotting times.RncLsn2015-07-061-0/+48
|/
* Many little changes.RncLsn2015-07-0324-95/+435
* Reactome test: standard and sygenia queries.RncLsn2015-07-033-0/+932
* Small changes.RncLsn2015-06-309-47/+41
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-268-26/+71
* Merge remote-tracking branch 'origin/Query-dependent-skolemisation' into Quer...RncLsn2015-06-260-0/+0
|\
| * Maybe fixed bug in internalisation.RncLsn2015-06-1615-54/+1890
* | Maybe fixed bug in internalisation.RncLsn2015-06-2622-283/+2221
|/
* Small changes.RncLsn2015-06-104-92/+108
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-0912-17/+132
* Small changes.RncLsn2015-06-072-6/+14
* Violations processor (Python script).RncLsn2015-06-053-2/+957
* Violation statistics.RncLsn2015-06-0510-17/+103
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-048-25/+44
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-045-58/+56
* SyGENiA query converter.RncLsn2015-06-041-0/+91
* removed ".idea"RncLsn2015-06-0464-832/+0
* Merge remote-tracking branch 'origin/Query-dependent-skolemisation' into Quer...RncLsn2015-06-040-0/+0
|\
| * Removed useless directory ".idea".RncLsn2015-06-041-2/+0
* | Removed useless directory ".idea".RncLsn2015-06-041-2/+0
|/
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-0410-5/+3189
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-037-121/+117
* Before reintroducing extended queries.RncLsn2015-06-0323-396/+508
* Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).RncLsn2015-06-0213-234/+256
* Disposable.RncLsn2015-05-2934-3899/+5263
* Anonymous ontology id.RncLsn2015-05-293-8/+11
* Bug-fix in tester.RncLsn2015-05-2810-68/+76
* Merge branch 'upstream' into Query-dependent-skolemisationRncLsn2015-05-287-391/+427
|\
| * fixed a bug in the process of generating gap tuples, see test inyujiao2015-05-2514-51/+303
| * turned on the LOG switch in Utilityyzhou2015-05-223-3/+32
* | Merged updates from upstream.RncLsn2015-05-2815-335/+554
* | Rewritten ontology loading of class RLPlusOntology. Now query-dependent skole...RncLsn2015-05-281-44/+47
* | NOT-WORKING: trying to add query-dependent Skolemisation.RncLsn2015-05-2813-327/+318
* | Removed extended queries (involving classes MyQueryReasoner and QueryRecord)....RncLsn2015-05-215-80/+62
* | Added more tests.RncLsn2015-05-2034-448/+201721
* | Deleted unused classes.RncLsn2015-05-1918-953/+223
* | Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-1912-381/+389
* | Backup before changes in MyQueryReasoner.RncLsn2015-05-1917-362/+679
* | Configured Maven and improved executable class and tests.RncLsn2015-05-1845-1188/+472
* | Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-1536-282/+293
* | It executes. Matching bounds for query 18 of UOBM.RncLsn2015-05-146-40/+44
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-18 12:05:51 +0000