aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules
Commit message (Collapse)AuthorAgeFilesLines
* Small changes.RncLsn2015-06-303-7/+11
|
* Maybe fixed bug in internalisation.RncLsn2015-06-261-1/+1
|
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-091-1/+1
|
* Violations processor (Python script).RncLsn2015-06-051-2/+2
|
* Violation statistics.RncLsn2015-06-051-0/+7
|
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-042-17/+14
|
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-042-50/+48
|
* Before reintroducing extended queries.RncLsn2015-06-031-10/+12
|
* Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).RncLsn2015-06-021-1/+1
|
* Disposable.RncLsn2015-05-292-282/+290
|
* Deleted unused classes.RncLsn2015-05-192-43/+43
|
* Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-191-6/+3
|
* 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-151-33/+5
|
* It executes. Matching bounds for query 18 of UOBM.RncLsn2015-05-141-4/+6
| | | | It is not stable: several critical fixes to do!
* Fast implementation of all the other things to get something working, but it ↵RncLsn2015-05-132-21/+97
| | | | doesn't.
* Implemented SkolemTermsManager.RncLsn2015-05-136-131/+138
|
* Implementing Limited Skolemisation, in particular SkolemTermsDispenser.RncLsn2015-05-1315-116/+195
|
* Added classes for implementing new upper store (Limited Skolemisation).RncLsn2015-05-124-53/+162
| | | | Started implementation of the new classes.
* Adding (not completed) a new upper bound technique, namely Limited ↵RncLsn2015-05-114-56/+26
| | | | Skolemisation.
* pass the wine realisationyzhou2015-04-281-2/+2
|
* initial versionyzhou2015-04-2116-0/+1582
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-06 22:06:12 +0000