aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Improved the statistics that are generated for evaluating the system; ↵RncLsn2015-09-115-13/+49
| | | | configuration file: now default and user-specified.
* Integrated fix (manually) from upper stream.RncLsn2015-09-032-3/+5
|
* New test cases.RncLsn2015-09-031-2/+2
|
* Incremental Skolemised store (seems completed).RncLsn2015-08-245-19/+93
|
* Incremental Skolemised store (not working).RncLsn2015-08-1411-47/+242
|
* Rules parsing.RncLsn2015-08-0414-59/+153
|
* The LimitedSkolemisation now employs a fixed-depth term instead of a ↵RncLsn2015-08-034-22/+37
| | | | 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-017-206/+287
| | | | file pagoda.properties).
* Bug-fix for answer dependencies analysis: now it checks whether the ↵RncLsn2015-07-095-23/+51
| | | | endomorphism makes the first tuple identical to the second one.
* Internalisation: added condition for existential variables (classes ↵RncLsn2015-07-084-26/+48
| | | | | | HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
* Small changes.RncLsn2015-07-072-11/+20
|
* Many little changes.RncLsn2015-07-0316-54/+299
|
* Small changes.RncLsn2015-06-307-44/+29
|
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-263-20/+37
|
* Maybe fixed bug in internalisation.RncLsn2015-06-2613-251/+336
|
* Small changes.RncLsn2015-06-101-1/+1
|
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-097-5/+28
|
* Small changes.RncLsn2015-06-071-2/+6
|
* Violations processor (Python script).RncLsn2015-06-051-2/+2
|
* Violation statistics.RncLsn2015-06-058-14/+98
|
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-045-21/+26
|
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-044-54/+52
|
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-042-2/+2
|
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-036-118/+114
|
* Before reintroducing extended queries.RncLsn2015-06-0320-394/+504
|
* Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).RncLsn2015-06-0211-233/+255
|
* Disposable.RncLsn2015-05-2932-3897/+4103
|
* Anonymous ontology id.RncLsn2015-05-291-4/+8
|
* Bug-fix in tester.RncLsn2015-05-283-19/+15
|
* Merge branch 'upstream' into Query-dependent-skolemisationRncLsn2015-05-286-339/+366
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/uk/ac/ox/cs/pagoda/approx/RLPlusOntology.java src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndMultiThreadPlan.java src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java src/uk/ac/ox/cs/pagoda/query/GapByStore4ID.java src/uk/ac/ox/cs/pagoda/query/GapByStore4ID2.java src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderWithGap.java src/uk/ac/ox/cs/pagoda/util/Utility.java test/uk/ac/ox/cs/pagoda/junit/ClauseTester.java test/uk/ac/ox/cs/pagoda/junit/TestGapMappedToLower.java
| * fixed a bug in the process of generating gap tuples, see test inyujiao2015-05-2513-51/+226
| | | | | | TestGapMappedToLower.java
| * turned on the LOG switch in Utilityyzhou2015-05-222-3/+7
| | | | | | | | added a tracking rule for inequality in TrackingRuleEncoderWithGap added a testcase in ClauseTester
* | Merged updates from upstream.RncLsn2015-05-2813-327/+453
| |
* | Rewritten ontology loading of class RLPlusOntology. Now query-dependent ↵RncLsn2015-05-281-44/+47
| | | | | | | | skolemisation works.
* | NOT-WORKING: trying to add query-dependent Skolemisation.RncLsn2015-05-2812-325/+316
| |
* | Removed extended queries (involving classes MyQueryReasoner and ↵RncLsn2015-05-213-76/+57
| | | | | | | | QueryRecord). Executed LightTests successfully.
* | Added more tests.RncLsn2015-05-2018-377/+409
| | | | | | | | Querying of the upper bound is currently unstable.
* | Deleted unused classes.RncLsn2015-05-1916-943/+197
| |
* | Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-198-376/+383
| |
* | Backup before changes in MyQueryReasoner.RncLsn2015-05-193-197/+217
| |
* | Configured Maven and improved executable class and tests.RncLsn2015-05-188-2/+252
| |
* | Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-1512-220/+183
| |
* | It executes. Matching bounds for query 18 of UOBM.RncLsn2015-05-146-40/+44
| | | | | | | | It is not stable: several critical fixes to do!
* | Fast implementation of all the other things to get something working, but it ↵RncLsn2015-05-139-61/+184
| | | | | | | | doesn't.
* | Implemented SkolemTermsManager.RncLsn2015-05-1314-143/+259
| |
* | Implementing Limited Skolemisation, in particular SkolemTermsDispenser.RncLsn2015-05-1329-579/+492
| |
* | Added classes for implementing new upper store (Limited Skolemisation).RncLsn2015-05-1212-493/+490
| | | | | | | | Started implementation of the new classes.
* | Adding (not completed) a new upper bound technique, namely Limited ↵RncLsn2015-05-1114-140/+160
| | | | | | | | Skolemisation.
* | Adding (not completed) log of partial answers in Json.RncLsn2015-05-096-78/+157
| |