aboutsummaryrefslogtreecommitdiff
path: root/test/uk
Commit message (Collapse)AuthorAgeFilesLines
* The LimitedSkolemisation now employs a fixed-depth term instead of a ↵RncLsn2015-08-032-2/+3
| | | | constant. Performed some testing before merging with master.
* Option for SkolemUpperBound application and for skolemisation depth (from ↵RncLsn2015-08-011-3/+4
| | | | file pagoda.properties).
* Bug-fix for answer dependencies analysis: now it checks whether the ↵RncLsn2015-07-093-8/+72
| | | | endomorphism makes the first tuple identical to the second one.
* Internalisation: added condition for existential variables (classes ↵RncLsn2015-07-081-1/+59
| | | | | | HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
* Many little changes.RncLsn2015-07-035-26/+121
|
* Reactome test: standard and sygenia queries.RncLsn2015-07-032-0/+283
|
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-264-4/+30
|
* Maybe fixed bug in internalisation.RncLsn2015-06-264-30/+120
|
* Small changes.RncLsn2015-06-102-89/+105
|
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-092-5/+73
|
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-041-1/+1
|
* Removed useless directory ".idea".RncLsn2015-06-041-2/+0
|
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-042-0/+100
|
* Anonymous ontology id.RncLsn2015-05-291-2/+1
|
* Bug-fix in tester.RncLsn2015-05-286-47/+59
|
* Merge branch 'upstream' into Query-dependent-skolemisationRncLsn2015-05-281-52/+61
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-251-0/+77
| | | | | | TestGapMappedToLower.java
| * turned on the LOG switch in Utilityyzhou2015-05-221-0/+25
| | | | | | | | added a tracking rule for inequality in TrackingRuleEncoderWithGap added a testcase in ClauseTester
* | Merged updates from upstream.RncLsn2015-05-282-8/+101
| |
* | Added more tests.RncLsn2015-05-207-68/+64
| | | | | | | | Querying of the upper bound is currently unstable.
* | Deleted unused classes.RncLsn2015-05-192-10/+26
| |
* | Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-193-5/+5
| |
* | Backup before changes in MyQueryReasoner.RncLsn2015-05-1911-164/+426
| |
* | Configured Maven and improved executable class and tests.RncLsn2015-05-1820-1094/+221
| |
* | Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-1516-49/+73
| |
* | Adding (not completed) log of partial answers in Json.RncLsn2015-05-095-21/+19
| |
* | Making the output machine-readable (JSON).RncLsn2015-05-0715-286/+339
| |
* | Switch from JUnit to TestNG.RncLsn2015-05-0618-285/+304
|/ | | | Plus minor fixes.
* removed debug output for ore compitition yzhou2015-05-021-1/+2
| | | | to add log info, check Utility.java LOGS
* add time tag to the temporary outputyzhou2015-05-011-2/+1
| | | fixed a bug about equality in the tracking datalog encoding
* downgrade owl api and reorganised src filesyzhou2015-04-3023-2706/+4
|
* added top answers optimisation backyzhou2015-04-291-2/+2
|
* handle inconsistent ontologyyzhou2015-04-291-0/+6
|
* pass the wine realisationyzhou2015-04-283-21/+503
|
* updated readme fileyzhou2015-04-231-1/+6
| | | added some output info for input argument in PagodaTester
* fixed some bugs in windows serveryzhou2015-04-214-80/+137
|
* fixed a bug in simpleETL -- closing a FileOutputStream yzhou2015-04-211-2/+4
|
* initial versionyzhou2015-04-2145-0/+4881