aboutsummaryrefslogtreecommitdiff
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-11213-334/+523
* RDFox dependency from project repo; improved the readme.RncLsn2015-10-1215-39/+93
* Bug fix for a NullPointerException.RncLsn2015-09-134-5/+6
* Changed version into 2.1.2-SNAPSHOT for further changes.v2.1.2RncLsn2015-09-111-1/+1
* Version 2.1.1v2.1.1RncLsn2015-09-111-1/+1
* Improved the statistics that are generated for evaluating the system; configu...RncLsn2015-09-117-15/+55
* Small changesRncLsn2015-09-104-5/+19
* Integrated fix (manually) from upper stream.RncLsn2015-09-034-6/+9
* New test cases.RncLsn2015-09-035-3/+114
* Incremental Skolemised store (seems completed).RncLsn2015-08-245-19/+93
* Incremental Skolemised store (not working).RncLsn2015-08-1412-49/+244
* Version number (2.1.1-SNAPSHOT)RncLsn2015-08-065-7/+19
* Merge branch '2.1.0' into RulesRncLsn2015-08-061-1/+1
|\
| * Version number.v2.1.0RncLsn2015-08-061-1/+1
* | Rules parsing.RncLsn2015-08-0416-59/+484
|/
* The LimitedSkolemisation now employs a fixed-depth term instead of a constant...RncLsn2015-08-038-27/+43
* CLI option names.RncLsn2015-08-031-1/+20
* Option for SkolemUpperBound application and for skolemisation depth (from fil...RncLsn2015-08-018-209/+291
* Bug-fix for answer dependencies analysis: now it checks whether the endomorph...RncLsn2015-07-0910-35/+128
* Internalisation: added condition for existential variables (classes HermitChe...RncLsn2015-07-086-31/+111
* Small changes.RncLsn2015-07-073-13/+22
* Merge remote-tracking branch 'origin/While_finding_test_cases' into While_fin...RncLsn2015-07-060-0/+0
|\
| * Added script for plotting times.RncLsn2015-07-061-0/+29
* | Added script for plotting times.RncLsn2015-07-061-0/+48
|/
* Many little changes.RncLsn2015-07-0324-95/+435
* Reactome test: standard and sygenia queries.RncLsn2015-07-033-0/+932
* Small changes.RncLsn2015-06-309-47/+41
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-268-26/+71
* Merge remote-tracking branch 'origin/Query-dependent-skolemisation' into Quer...RncLsn2015-06-260-0/+0
|\
| * Maybe fixed bug in internalisation.RncLsn2015-06-1615-54/+1890
* | Maybe fixed bug in internalisation.RncLsn2015-06-2622-283/+2221
|/
* Small changes.RncLsn2015-06-104-92/+108
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-0912-17/+132
* Small changes.RncLsn2015-06-072-6/+14
* Violations processor (Python script).RncLsn2015-06-053-2/+957
* Violation statistics.RncLsn2015-06-0510-17/+103
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-048-25/+44
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-045-58/+56
* SyGENiA query converter.RncLsn2015-06-041-0/+91
* removed ".idea"RncLsn2015-06-0464-832/+0
* Merge remote-tracking branch 'origin/Query-dependent-skolemisation' into Quer...RncLsn2015-06-040-0/+0
|\
| * Removed useless directory ".idea".RncLsn2015-06-041-2/+0
* | Removed useless directory ".idea".RncLsn2015-06-041-2/+0
|/
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-05 16:06:09 +0000