aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* bump(pom): update dependencesHEADmasterdyamon2022-10-151-1/+1
| | | | Signed-off-by: GitHub POM Action <gh-pom@github.com>
* Updating dependences.Federico Igne2022-10-162-2/+2
| | | | This was triggered by a vulnerability detected by dependabot.
* improve: avoid generating duplicate rules in filtering programFederico Igne2022-06-091-8/+9
|
* fix: forward/backward suffix for atomsFederico Igne2022-06-091-6/+7
|
* fix: allow modification of configs as a mutable MapFederico Igne2022-06-061-1/+1
|
* refactor(upperbound): improve choice functionFederico Igne2022-06-011-14/+6
|
* feat: implicitly propagate configs to approximationsFederico Igne2022-06-015-14/+27
|
* bump(pom): update dependencesv1.1.0dyamon2022-05-191-1/+1
| | | | Signed-off-by: GitHub POM Action <gh-pom@github.com>
* bump: RSAComb v1.1.0Federico Igne2022-05-193-4/+4
|
* refactor: RSA utilsdevelopFederico Igne2022-05-192-15/+116
|
* fix(lowerbound): cycle detection in approximation algorithmFederico Igne2022-05-191-11/+99
|
* fix: typo in RDFox queryFederico Igne2022-05-191-1/+1
|
* refactor(rdfox-dsl): simplify creation of Datalog rulesFederico Igne2022-05-194-14/+94
|
* fix(cli): handle empty list of arguments for some CLI flagsFederico Igne2022-05-191-2/+2
|
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-198-148/+23
|
* refactor: internal implementation of Ontology classFederico Igne2022-05-192-155/+420
|
* Refactor codeFederico Igne2022-05-092-55/+86
|
* Fix bug in normalisationFederico Igne2021-11-292-11/+6
| | | | This would not produce a completely normalised ontology.
* Move verbose output before importing into RDFoxFederico Igne2021-11-291-4/+4
| | | | | This gives us better debug output when the import fails or doesn't terminate.
* 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
|
* Update CITATION.cff with new DOIFederico Igne2021-11-182-4/+4
|
* ⬆ Update POM dependencesv1.0.0dyamon2021-11-181-1/+1
| | | | Signed-off-by: GitHub POM Action <gh-pom@github.com>
* Bump version to 1.0.0Federico Igne2021-11-182-2/+2
|
* Update links in README.mdFederico Igne2021-11-171-1/+1
|
* 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
|
* ⬆ 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-01 06:26:05 +0000