aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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
| | | | 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.
* Finalise dbpedia functional testingFederico Igne2021-10-308-12/+97
|
* 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.
* Serialise and silence output in testsFederico Igne2021-10-213-3/+6
|
* Rework RDFox simulation to be more modularFederico Igne2021-10-204-16/+91
| | | | This will help with faster testing and debugging.
* 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
|
* Tag some tests as slowFederico Igne2021-10-041-2/+15
|
* 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-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-0614-376/+455
| | | | This will help write more significant test.
* Extend converter to RDFox rules to handle property chain axiomsFederico Igne2021-08-032-66/+36
| | | | | | | | | The converter to RDFox datalog rules shouldn't worry about which axiom is supported or not (it should be a job of the approximation algorithm or of a previous step). Now the converter tries its best to convert anything that makes sense in datalog. Also upperbound is ready for testing.
* Update normalizer to handle additional OWL axiomsFederico Igne2021-08-021-111/+97
| | | | | | Also the normalizer should not distinguish ALCHOIQ axioms from non-ALCHOIQ axioms, and should try its best to return a normalised axiom.
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-03 12:58:00 +0000