aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb
Commit message (Expand)AuthorAgeFilesLines
* Move verbose output before importing into RDFoxFederico Igne2021-11-291-4/+4
* Fix bug caused by existential axioms with equal sub/super classFederico Igne2021-11-291-1/+2
* Ignore unparsable queries and notify the userFederico Igne2021-11-252-8/+14
* Fix small formatting issue on verbose outputFederico Igne2021-11-171-2/+4
* Add an optimised version of the filtering programFederico Igne2021-11-174-12/+437
* Clean up commented codeFederico Igne2021-11-171-58/+0
* Make query parsing more forgiving on syntax errorsFederico Igne2021-11-121-4/+8
* Fix bug with data/query directories as CLI argumentFederico Igne2021-11-111-6/+6
* Add support for directory of query filesFederico Igne2021-11-113-8/+27
* Add option to specify the approximation algorithm from the CLIFederico Igne2021-11-032-2/+12
* Avoid generating a JSON string before writing to fileFederico Igne2021-11-033-18/+40
* Drop filtering tuple table when done with a queryFederico Igne2021-11-012-84/+11
* Finalise dbpedia functional testingFederico Igne2021-10-307-12/+56
* Fix verbose printing of canonical model factsFederico Igne2021-10-221-1/+1
* Serialise and silence output in testsFederico Igne2021-10-211-1/+0
* Rework RDFox simulation to be more modularFederico Igne2021-10-204-16/+91
* Add script to load debug data to RDFoxFederico Igne2021-10-053-9/+16
* Add substitution rules in equality axiomatisationFederico Igne2021-10-041-2/+29
* Fix issue where not all roles where considered for top axiomatisationFederico Igne2021-10-046-41/+56
* 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 prefix in dependency graphFederico Igne2021-10-031-1/+1
* Introduce functional testsFederico Igne2021-10-031-3/+5
* Assign queries integer identifierFederico Igne2021-10-032-12/+14
* 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-0611-182/+227
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-02 03:38:49 +0000