aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/query
Commit message (Expand)AuthorAgeFilesLines
* Option for SkolemUpperBound application and for skolemisation depth (from fil...RncLsn2015-08-011-1/+2
* Internalisation: added condition for existential variables (classes HermitChe...RncLsn2015-07-081-2/+1
* Many little changes.RncLsn2015-07-032-9/+22
* Maybe fixed bug in internalisation.RncLsn2015-06-262-4/+57
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-091-1/+7
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-041-1/+1
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-032-71/+47
* Before reintroducing extended queries.RncLsn2015-06-032-130/+94
* Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).RncLsn2015-06-022-79/+92
* Disposable.RncLsn2015-05-294-633/+738
* Bug-fix in tester.RncLsn2015-05-282-3/+4
* Merge branch 'upstream' into Query-dependent-skolemisationRncLsn2015-05-283-183/+189
|\
| * fixed a bug in the process of generating gap tuples, see test inyujiao2015-05-254-24/+162
* | Merged updates from upstream.RncLsn2015-05-284-91/+216
* | NOT-WORKING: trying to add query-dependent Skolemisation.RncLsn2015-05-281-6/+7
* | Removed extended queries (involving classes MyQueryReasoner and QueryRecord)....RncLsn2015-05-212-58/+48
* | Added more tests.RncLsn2015-05-201-57/+100
* | Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-192-289/+284
* | Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-151-6/+12
* | Adding (not completed) log of partial answers in Json.RncLsn2015-05-093-57/+115
* | Making the output machine-readable (JSON).RncLsn2015-05-072-60/+172
|/
* downgrade owl api and reorganised src filesyzhou2015-04-303-16/+4
* pass the wine realisationyzhou2015-04-281-4/+6
* fixed some bugs in windows serveryzhou2015-04-211-4/+8
* initial versionyzhou2015-04-2111-0/+2354
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-31 08:56:41 +0000