aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Fix functional testsFederico Igne2021-10-031-1/+1
* Fix prefix in dependency graphFederico Igne2021-10-031-1/+1
* Introduce functional testsFederico Igne2021-10-032-3/+54
* Assign queries integer identifierFederico Igne2021-10-032-12/+14
* Temporary comment unit testFederico Igne2021-10-034-207/+207
* Move to os-lib for filesystem operationsFederico Igne2021-10-034-38/+51
* Fix compilation errorsFederico Igne2021-10-034-23/+27
* Allow querying of a single queryFederico Igne2021-10-021-18/+36
* Expose logger level to CLIFederico Igne2021-10-022-5/+24
* Rework revides filtering program computation to use named graphsFederico Igne2021-10-027-262/+254
* Rework naive filtering program computation to use named graphsFederico Igne2021-10-017-166/+298
* Make canonical model generation parametric over named graphFederico Igne2021-10-016-83/+141
* Refactor query answering to use named graphsFederico Igne2021-09-305-82/+148
* Write answers to output fileFederico Igne2021-09-292-3/+16
* Always use internal equality instead of SAME_ASFederico Igne2021-09-291-2/+2
* Add import of multiple queriesFederico Igne2021-09-293-40/+70
* Add JSON format for CQ answersFederico Igne2021-09-292-4/+21
* Update RDFox library to 5.2.1Federico Igne2021-09-013-9/+12
* Add new fresh data factoryFederico Igne2021-08-0614-376/+455
* Extend converter to RDFox rules to handle property chain axiomsFederico Igne2021-08-032-66/+36
* Update normalizer to handle additional OWL axiomsFederico Igne2021-08-021-111/+97
* Implement fine-grained constant skolemization in upperboundFederico Igne2021-07-291-100/+128
* Change spelling: LowerBound to LowerboundFederico Igne2021-07-292-11/+11
* Add skeleton for upperbound computationFederico Igne2021-07-271-0/+183
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-279-415/+886
|\
| * Rework class structure to match more general workflowFederico Igne2021-07-273-13/+15
| * Fix file namingFederico Igne2021-07-223-2/+2
| * Remove normalization step from lowerbound computationFederico Igne2021-07-222-18/+15
| * Review main workflowFederico Igne2021-07-224-17/+61
| * Make approximation generic over returned typeFederico Igne2021-07-223-38/+33
| * Move some generic commands from RSAOntology to OntologyFederico Igne2021-07-223-259/+248
| * Generalize dependency graph generationFederico Igne2021-07-208-119/+182
| * Add generic Ontology wrapper for common tasksFederico Igne2021-07-201-0/+90
| * Merge branch 'master' into approximationFederico Igne2021-06-234-14/+31
| |\
| * | Fix minor compilation errorsFederico Igne2021-06-014-83/+106
| * | Multiple fixesFederico Igne2021-05-314-54/+80
| * | Add scafolding for generic approximation supportFederico Igne2021-05-313-143/+385
* | | Merge branch 'master' of github.com:KRR-Oxford/RSA-combined-approachFederico Igne2021-06-3031-0/+496
|\ \ \
| * | | Add Apache License 2.0Federico Igne2021-06-3031-0/+496
| | |/ | |/|
* / | Update README.mdFederico Igne2021-06-301-1/+1
|/ /
* / Fix automatic query buildingFederico Igne2021-06-234-14/+31
|/
* Update minor details in documentationFederico Igne2021-05-311-0/+2
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-153-14/+0
* Fix handling of class expression OWLObjectHasSelfFederico Igne2021-04-092-46/+54
* Streamline RSA approximationFederico Igne2021-04-094-162/+132
* Add approximation to RSAFederico Igne2021-04-071-107/+159
* Add shifting for disjunction in the rhs of an axiomFederico Igne2021-04-052-2/+77
* Fix generation of fresh classes during normalizationFederico Igne2021-04-051-1/+4
* Change filtering program name on testsFederico Igne2021-04-051-1/+1
* Fix minor issues with revised filtering programFederico Igne2021-04-022-80/+97
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-02 07:21:38 +0000