| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Incremental Skolemised store (seems completed). | RncLsn | 2015-08-24 | 2 | -5/+52 |
| * | Incremental Skolemised store (not working). | RncLsn | 2015-08-14 | 2 | -17/+31 |
| * | Rules parsing. | RncLsn | 2015-08-04 | 3 | -6/+6 |
| * | Option for SkolemUpperBound application and for skolemisation depth (from fil... | RncLsn | 2015-08-01 | 1 | -3/+9 |
| * | Internalisation: added condition for existential variables (classes HermitChe... | RncLsn | 2015-07-08 | 1 | -13/+17 |
| * | Small changes. | RncLsn | 2015-07-07 | 1 | -10/+19 |
| * | Many little changes. | RncLsn | 2015-07-03 | 2 | -21/+25 |
| * | Small changes. | RncLsn | 2015-06-30 | 1 | -3/+3 |
| * | Summarisation before Skolemisation. Added Reactome testcase. | RncLsn | 2015-06-26 | 1 | -8/+14 |
| * | Maybe fixed bug in internalisation. | RncLsn | 2015-06-26 | 4 | -222/+252 |
| * | Small changes. | RncLsn | 2015-06-10 | 1 | -1/+1 |
| * | Fixed marking original individuals in the relevant upper store. | RncLsn | 2015-06-09 | 2 | -3/+5 |
| * | Violation statistics. | RncLsn | 2015-06-05 | 2 | -1/+20 |
| * | Fixed terms' depth count in SkolemTermsManager (it was always zero). | RncLsn | 2015-06-04 | 1 | -1/+1 |
| * | Restored fixed SkolemTermsManager (went lost in some revert). | RncLsn | 2015-06-04 | 1 | -3/+3 |
| * | New queries for LUBM and UOBM, automatically generated by SyGENiA. | RncLsn | 2015-06-04 | 1 | -1/+1 |
| * | Reintroduced extended queries. Successfully tested on LightTests and GapAnswers. | RncLsn | 2015-06-03 | 1 | -38/+16 |
| * | Before reintroducing extended queries. | RncLsn | 2015-06-03 | 11 | -211/+301 |
| * | Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1). | RncLsn | 2015-06-02 | 3 | -66/+70 |
| * | Disposable. | RncLsn | 2015-05-29 | 13 | -1597/+1663 |
| * | Merge branch 'upstream' into Query-dependent-skolemisation | RncLsn | 2015-05-28 | 1 | -86/+95 |
| |\ |
|
| | * | fixed a bug in the process of generating gap tuples, see test in | yujiao | 2015-05-25 | 2 | -3/+4 |
| * | | Merged updates from upstream. | RncLsn | 2015-05-28 | 2 | -80/+79 |
| * | | NOT-WORKING: trying to add query-dependent Skolemisation. | RncLsn | 2015-05-28 | 7 | -195/+202 |
| * | | Removed extended queries (involving classes MyQueryReasoner and QueryRecord).... | RncLsn | 2015-05-21 | 1 | -18/+9 |
| * | | Added more tests. | RncLsn | 2015-05-20 | 6 | -53/+55 |
| * | | Deleted unused classes. | RncLsn | 2015-05-19 | 7 | -133/+30 |
| * | | Changes in the upper store querying (mainly in MyQueryReasoner). | RncLsn | 2015-05-19 | 2 | -77/+91 |
| * | | Backup before changes in MyQueryReasoner. | RncLsn | 2015-05-19 | 2 | -176/+174 |
| * | | Configured Maven and improved executable class and tests. | RncLsn | 2015-05-18 | 1 | -0/+1 |
| * | | Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}. | RncLsn | 2015-05-15 | 7 | -111/+122 |
| * | | It executes. Matching bounds for query 18 of UOBM. | RncLsn | 2015-05-14 | 3 | -30/+21 |
| * | | Fast implementation of all the other things to get something working, but it ... | RncLsn | 2015-05-13 | 3 | -30/+60 |
| * | | Implementing Limited Skolemisation, in particular SkolemTermsDispenser. | RncLsn | 2015-05-13 | 1 | -3/+3 |
| * | | Added classes for implementing new upper store (Limited Skolemisation). | RncLsn | 2015-05-12 | 1 | -61/+68 |
| * | | Adding (not completed) a new upper bound technique, namely Limited Skolemisat... | RncLsn | 2015-05-11 | 1 | -4/+4 |
| * | | Adding (not completed) log of partial answers in Json. | RncLsn | 2015-05-09 | 2 | -18/+30 |
| * | | Making the output machine-readable (JSON). | RncLsn | 2015-05-07 | 1 | -31/+36 |
| |/ |
|
| * | removed debug output for ore compitition | yzhou | 2015-05-02 | 1 | -1/+1 |
| * | added top answers optimisation back | yzhou | 2015-04-29 | 3 | -40/+43 |
| * | pass the wine realisation | yzhou | 2015-04-28 | 3 | -29/+35 |
| * | added two interfaces in QueryReasoner for SemFacet | yzhou | 2015-04-22 | 1 | -0/+8 |
| * | fixed some bugs in windows server | yzhou | 2015-04-21 | 10 | -43/+122 |
| * | fixed a bug in simpleETL -- closing a FileOutputStream | yzhou | 2015-04-21 | 1 | -1/+2 |
| * | initial version | yzhou | 2015-04-21 | 20 | -0/+2949 |
