aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Bump gson from 2.3.1 to 2.8.9dependabot[bot]2022-06-011-1/+1
| | | | | | | | | | | | | | Bumps [gson](https://github.com/google/gson) from 2.3.1 to 2.8.9. - [Release notes](https://github.com/google/gson/releases) - [Changelog](https://github.com/google/gson/blob/master/CHANGELOG.md) - [Commits](https://github.com/google/gson/compare/gson-2.3.1...gson-parent-2.8.9) --- updated-dependencies: - dependency-name: com.google.code.gson:gson dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
* RDFox dependency from project repo; improved the readme.RncLsn2015-10-1215-39/+93
|
* Bug fix for a NullPointerException.RncLsn2015-09-134-5/+6
|
* Changed version into 2.1.2-SNAPSHOT for further changes.v2.1.2RncLsn2015-09-111-1/+1
|
* Version 2.1.1v2.1.1RncLsn2015-09-111-1/+1
|
* Improved the statistics that are generated for evaluating the system; ↵RncLsn2015-09-117-15/+55
| | | | configuration file: now default and user-specified.
* Small changesRncLsn2015-09-104-5/+19
|
* Integrated fix (manually) from upper stream.RncLsn2015-09-034-6/+9
|
* New test cases.RncLsn2015-09-035-3/+114
|
* Incremental Skolemised store (seems completed).RncLsn2015-08-245-19/+93
|
* Incremental Skolemised store (not working).RncLsn2015-08-1412-49/+244
|
* Version number (2.1.1-SNAPSHOT)RncLsn2015-08-065-7/+19
|
* Merge branch '2.1.0' into RulesRncLsn2015-08-061-1/+1
|\
| * Version number.v2.1.0RncLsn2015-08-061-1/+1
| |
* | Rules parsing.RncLsn2015-08-0416-59/+484
|/
* The LimitedSkolemisation now employs a fixed-depth term instead of a ↵RncLsn2015-08-038-27/+43
| | | | constant. Performed some testing before merging with master.
* CLI option names.RncLsn2015-08-031-1/+20
|
* Option for SkolemUpperBound application and for skolemisation depth (from ↵RncLsn2015-08-018-209/+291
| | | | file pagoda.properties).
* Bug-fix for answer dependencies analysis: now it checks whether the ↵RncLsn2015-07-0910-35/+128
| | | | endomorphism makes the first tuple identical to the second one.
* Internalisation: added condition for existential variables (classes ↵RncLsn2015-07-086-31/+111
| | | | | | HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
* Small changes.RncLsn2015-07-073-13/+22
|
* Merge remote-tracking branch 'origin/While_finding_test_cases' into ↵RncLsn2015-07-060-0/+0
|\ | | | | | | | | | | | | While_finding_test_cases Conflicts: scripts/plottimes.py
| * 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 ↵RncLsn2015-06-260-0/+0
|\ | | | | | | | | | | | | | | | | Query-dependent-skolemisation Conflicts: src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
| * 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 ↵RncLsn2015-06-040-0/+0
|\ | | | | | | Query-dependent-skolemisation
| * 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-05 19:22:31 +0000