aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
Commit message (Collapse)AuthorAgeFilesLines
* [pagoda] Move project to ScalaFederico Igne2022-05-111-472/+0
| | | | | | | | | This commit includes a few changes: - The repository still uses Maven to manage dependency but it is now a Scala project. - The code has been ported from OWLAPI 3.4.10 to 5.1.20 - A proof of concept program using both RSAComb and PAGOdA has been added.
* RDFox dependency from project repo; improved the readme.RncLsn2015-10-121-1/+1
|
* Bug fix for a NullPointerException.RncLsn2015-09-131-1/+1
|
* New test cases.RncLsn2015-09-031-2/+2
|
* Incremental Skolemised store (seems completed).RncLsn2015-08-241-5/+45
|
* Incremental Skolemised store (not working).RncLsn2015-08-141-16/+23
|
* Rules parsing.RncLsn2015-08-041-4/+4
|
* Option for SkolemUpperBound application and for skolemisation depth (from ↵RncLsn2015-08-011-3/+9
| | | | file pagoda.properties).
* Small changes.RncLsn2015-07-071-10/+19
|
* Many little changes.RncLsn2015-07-031-7/+12
|
* Small changes.RncLsn2015-06-301-3/+3
|
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-261-8/+14
|
* Maybe fixed bug in internalisation.RncLsn2015-06-261-6/+7
|
* Small changes.RncLsn2015-06-101-1/+1
|
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-091-3/+4
|
* Violation statistics.RncLsn2015-06-051-1/+3
|
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-041-1/+1
|
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-041-3/+3
|
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-041-1/+1
|
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-031-38/+16
|
* Before reintroducing extended queries.RncLsn2015-06-031-32/+61
|
* Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).RncLsn2015-06-021-64/+68
|
* Disposable.RncLsn2015-05-291-330/+332
|
* Merged updates from upstream.RncLsn2015-05-281-1/+4
|
* NOT-WORKING: trying to add query-dependent Skolemisation.RncLsn2015-05-281-75/+70
|
* Removed extended queries (involving classes MyQueryReasoner and ↵RncLsn2015-05-211-18/+9
| | | | QueryRecord). Executed LightTests successfully.
* Added more tests.RncLsn2015-05-201-35/+37
| | | | Querying of the upper bound is currently unstable.
* Deleted unused classes.RncLsn2015-05-191-1/+1
|
* Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-191-43/+59
|
* Backup before changes in MyQueryReasoner.RncLsn2015-05-191-87/+89
|
* Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-151-23/+21
|
* It executes. Matching bounds for query 18 of UOBM.RncLsn2015-05-141-6/+7
| | | | It is not stable: several critical fixes to do!
* Fast implementation of all the other things to get something working, but it ↵RncLsn2015-05-131-4/+22
| | | | doesn't.
* 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-091-9/+27
|
* pass the wine realisationyzhou2015-04-281-3/+4
|
* fixed some bugs in windows serveryzhou2015-04-211-5/+4
|
* initial versionyzhou2015-04-211-0/+331
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-05 12:35:56 +0000