aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Add preprocessing and initial computation for CQ answeringFederico Igne2022-05-121-144/+138
* [pagoda] Fix public interfaces to allow outside accessFederico Igne2022-05-122-4/+4
* Add initial implementation of ACQuA reasonerFederico Igne2022-05-121-0/+489
* Adjust CLIFederico Igne2022-05-122-39/+35
* Add RSA query reasoner to perform CQ answering over RSAFederico Igne2022-05-113-24/+47
* Implement stub for query answering procedureFederico Igne2022-05-114-19/+383
* [pagoda] Add method to set properties on QueryReasonerFederico Igne2022-05-111-0/+5
* [pagoda] Move project to ScalaFederico Igne2022-05-11211-202/+205192
* RDFox dependency from project repo; improved the readme.RncLsn2015-10-121-1/+1
* Bug fix for a NullPointerException.RncLsn2015-09-132-2/+3
* Improved the statistics that are generated for evaluating the system; configu...RncLsn2015-09-115-13/+49
* Integrated fix (manually) from upper stream.RncLsn2015-09-032-3/+5
* New test cases.RncLsn2015-09-031-2/+2
* Incremental Skolemised store (seems completed).RncLsn2015-08-245-19/+93
* Incremental Skolemised store (not working).RncLsn2015-08-1411-47/+242
* Rules parsing.RncLsn2015-08-0414-59/+153
* The LimitedSkolemisation now employs a fixed-depth term instead of a constant...RncLsn2015-08-034-22/+37
* CLI option names.RncLsn2015-08-031-1/+20
* Option for SkolemUpperBound application and for skolemisation depth (from fil...RncLsn2015-08-017-206/+287
* Bug-fix for answer dependencies analysis: now it checks whether the endomorph...RncLsn2015-07-095-23/+51
* Internalisation: added condition for existential variables (classes HermitChe...RncLsn2015-07-084-26/+48
* Small changes.RncLsn2015-07-072-11/+20
* Many little changes.RncLsn2015-07-0316-54/+299
* Small changes.RncLsn2015-06-307-44/+29
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-263-20/+37
* Maybe fixed bug in internalisation.RncLsn2015-06-2613-251/+336
* Small changes.RncLsn2015-06-101-1/+1
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-097-5/+28
* Small changes.RncLsn2015-06-071-2/+6
* Violations processor (Python script).RncLsn2015-06-051-2/+2
* Violation statistics.RncLsn2015-06-058-14/+98
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-045-21/+26
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-044-54/+52
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-042-2/+2
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-036-118/+114
* Before reintroducing extended queries.RncLsn2015-06-0320-394/+504
* Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).RncLsn2015-06-0211-233/+255
* Disposable.RncLsn2015-05-2932-3897/+4103
* Anonymous ontology id.RncLsn2015-05-291-4/+8
* Bug-fix in tester.RncLsn2015-05-283-19/+15
* Merge branch 'upstream' into Query-dependent-skolemisationRncLsn2015-05-286-339/+366
|\
| * fixed a bug in the process of generating gap tuples, see test inyujiao2015-05-2513-51/+226
| * turned on the LOG switch in Utilityyzhou2015-05-222-3/+7
* | Merged updates from upstream.RncLsn2015-05-2813-327/+453
* | Rewritten ontology loading of class RLPlusOntology. Now query-dependent skole...RncLsn2015-05-281-44/+47
* | NOT-WORKING: trying to add query-dependent Skolemisation.RncLsn2015-05-2812-325/+316
* | Removed extended queries (involving classes MyQueryReasoner and QueryRecord)....RncLsn2015-05-213-76/+57
* | Added more tests.RncLsn2015-05-2018-377/+409
* | Deleted unused classes.RncLsn2015-05-1916-943/+197
* | Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-198-376/+383
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-05 14:30:40 +0000