aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Perform fewer tests to avoid running out of memory in GH ActionsFederico Igne2021-10-311-6/+6
* Finalise dbpedia functional testingFederico Igne2021-10-3012-12/+6086
* Fix verbose printing of canonical model factsFederico Igne2021-10-221-1/+1
* Setup tests for both master and developFederico Igne2021-10-213-16/+36
* Serialise and silence output in testsFederico Igne2021-10-214-3/+13
* Rework RDFox simulation to be more modularFederico Igne2021-10-206-40/+93
* Add script to load debug data to RDFoxFederico Igne2021-10-055-80/+116
* Add substitution rules in equality axiomatisationFederico Igne2021-10-041-2/+29
* Merge branch 'upperbound' into developFederico Igne2021-10-0438-1346/+142271
|\
| * Fix issue where not all roles where considered for top axiomatisationFederico Igne2021-10-046-41/+56
| * Add LUBM test dataFederico Igne2021-10-046-1/+140158
| * Tag some tests as slowFederico Igne2021-10-042-3/+37
| * Make file logging lazyFederico Igne2021-10-042-2/+2
| * Add file output on verbose log levelFederico Igne2021-10-032-6/+15
| * Rework CLI configsFederico Igne2021-10-032-124/+164
| * 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-036-39/+55
| * 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-294-5/+25
| * Update RDFox library to 5.2.1Federico Igne2021-09-013-9/+12
| * Bump version to v0.2.0Federico Igne2021-08-061-1/+1
| * 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
* | Add CITATION.cff fileFederico Igne2021-08-251-0/+17
|/
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-02 21:21:59 +0000