aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner
Commit message (Collapse)AuthorAgeFilesLines
* NOT-WORKING: trying to add query-dependent Skolemisation.RncLsn2015-05-287-195/+202
|
* Removed extended queries (involving classes MyQueryReasoner and ↵RncLsn2015-05-211-18/+9
| | | | QueryRecord). Executed LightTests successfully.
* Added more tests.RncLsn2015-05-206-53/+55
| | | | Querying of the upper bound is currently unstable.
* Deleted unused classes.RncLsn2015-05-197-133/+30
|
* Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-192-77/+91
|
* Backup before changes in MyQueryReasoner.RncLsn2015-05-192-176/+174
|
* Configured Maven and improved executable class and tests.RncLsn2015-05-181-0/+1
|
* Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-157-111/+122
|
* It executes. Matching bounds for query 18 of UOBM.RncLsn2015-05-143-30/+21
| | | | It is not stable: several critical fixes to do!
* Fast implementation of all the other things to get something working, but it ↵RncLsn2015-05-133-30/+60
| | | | doesn't.
* Implementing Limited Skolemisation, in particular SkolemTermsDispenser.RncLsn2015-05-131-3/+3
|
* Added classes for implementing new upper store (Limited Skolemisation).RncLsn2015-05-121-61/+68
| | | | Started implementation of the new classes.
* Adding (not completed) a new upper bound technique, namely Limited ↵RncLsn2015-05-111-4/+4
| | | | Skolemisation.
* Adding (not completed) log of partial answers in Json.RncLsn2015-05-092-18/+30
|
* Making the output machine-readable (JSON).RncLsn2015-05-071-31/+36
|
* removed debug output for ore compitition yzhou2015-05-021-1/+1
| | | | to add log info, check Utility.java LOGS
* added top answers optimisation backyzhou2015-04-293-40/+43
|
* pass the wine realisationyzhou2015-04-283-29/+35
|
* added two interfaces in QueryReasoner for SemFacetyzhou2015-04-221-0/+8
| | | removed answer files in the *.conf
* fixed some bugs in windows serveryzhou2015-04-2110-43/+122
|
* fixed a bug in simpleETL -- closing a FileOutputStream yzhou2015-04-211-1/+2
|
* initial versionyzhou2015-04-2120-0/+2949
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-05 17:15:55 +0000