aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* Update CITATION.cff with new DOIFederico Igne2021-11-182-4/+4
* ⬆ Update POM dependencesv1.0.0dyamon2021-11-181-1/+1
* 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
* 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
| * 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
* | Drop filtering tuple table when done with a queryFederico Igne2021-11-012-84/+11
* | 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
* | 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 21:44:34 +0000