aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* ⬆ Update POM dependencesdyamon2021-11-031-1/+11
| | | | Signed-off-by: GitHub POM Action <gh-pom@github.com>
* Merge remote-tracking branch 'origin/master'Federico Igne2021-11-033-1/+96
|\
| * Update POM action with custom credentialsFederico Igne2021-10-221-0/+2
| |
| * ⬆ Update POM dependencesdyamon2021-10-221-0/+7
| | | | | | | | Signed-off-by: GitHub Actions <actions@github.com>
| * Add license to sbt projectFederico Igne2021-10-221-1/+3
| |
| * Add GH action to update pom.xml on build.sbt updatesFederico Igne2021-10-221-0/+30
| |
| * Add pom.xmlFederico Igne2021-10-221-0/+54
| |
* | 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-034-19/+41
| | | | | | | | This solve a crash when considering a huge amount of queries.
* | Drop filtering tuple table when done with a queryFederico Igne2021-11-012-84/+11
| | | | | | | | | | This avoids running out of memory on RDFox side when executing a use amount of queries.
* | Update sbt assembly plugin to 1.1.0Federico Igne2021-10-311-1/+1
| |
* | Perform fewer tests to avoid running out of memory in GH ActionsFederico Igne2021-10-311-6/+6
| | | | | | | | This is a temporary solution until we find a better way.
* | Finalise dbpedia functional testingFederico Igne2021-10-3012-12/+6086
| |
* | Fix verbose printing of canonical model factsFederico Igne2021-10-221-1/+1
| | | | | | | | Printing a fact does not add a dot at the end on the line.
* | Setup tests for both master and developFederico Igne2021-10-213-16/+36
| | | | | | | | | | | | | | | | | | | | We are avoiding slow tests for now since they seem to run out of RAM. Also note that in the GitHub Actions we used a trick to expose the `$HOME` env variable, as described here: https://web.archive.org/web/20211021130639/https://brandur.org/fragments/github-actions-env-vars-in-env-vars A nice badge in the README will also tell the outcome of the process.
* | Serialise and silence output in testsFederico Igne2021-10-214-3/+13
| |
* | Rework RDFox simulation to be more modularFederico Igne2021-10-206-40/+93
| | | | | | | | This will help with faster testing and debugging.
* | 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
| | | | | | | | | | These tests will check correctness of the overall system across versions. We should add more tests for know ontologies.
| * Assign queries integer identifierFederico Igne2021-10-032-12/+14
| | | | | | | | | | | | | | | | | | | | | | The ID needs to be specified at creation time or in a query file preceeding the query with the syntax ``` ^[Query<id>] ``` where `<id>` is the id of the query.
| * 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-03 13:12:03 +0000