aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
Commit message (Collapse)AuthorAgeFilesLines
* feat: implicitly propagate configs to approximationsFederico Igne2022-06-011-1/+1
|
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-191-1/+1
|
* Refactor codeFederico Igne2022-05-091-27/+16
|
* Ignore unparsable queries and notify the userFederico Igne2021-11-251-1/+2
|
* Add support for directory of query filesFederico Igne2021-11-111-4/+2
|
* Add option to specify the approximation algorithm from the CLIFederico Igne2021-11-031-2/+2
|
* Avoid generating a JSON string before writing to fileFederico Igne2021-11-031-6/+5
| | | | This solve a crash when considering a huge amount of queries.
* Drop filtering tuple table when done with a queryFederico Igne2021-11-011-17/+0
| | | | | This avoids running out of memory on RDFox side when executing a use amount of queries.
* Finalise dbpedia functional testingFederico Igne2021-10-301-0/+1
|
* Rework RDFox simulation to be more modularFederico Igne2021-10-201-10/+11
| | | | This will help with faster testing and debugging.
* Add script to load debug data to RDFoxFederico Igne2021-10-051-1/+1
|
* Rework CLI configsFederico Igne2021-10-031-124/+10
|
* Move to os-lib for filesystem operationsFederico Igne2021-10-031-22/+28
|
* Expose logger level to CLIFederico Igne2021-10-021-4/+23
|
* Write answers to output fileFederico Igne2021-09-291-1/+15
|
* Add import of multiple queriesFederico Igne2021-09-291-30/+26
|
* Add new fresh data factoryFederico Igne2021-08-061-2/+2
| | | | This will help write more significant test.
* Change spelling: LowerBound to LowerboundFederico Igne2021-07-291-2/+2
|
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-271-17/+24
|\
| * Rework class structure to match more general workflowFederico Igne2021-07-271-12/+12
| | | | | | | | | | | | | | | | The major change is the introduction of a new class Ontology (superclass of RSAOntology) that contains all those operation that we would like to perform on *any* OWL 2 ontology. Approximation is also generic on the return type, allowing for example intermediate steps (or chaining of approximations).
| * Review main workflowFederico Igne2021-07-221-14/+12
| |
| * Generalize dependency graph generationFederico Igne2021-07-201-0/+10
| | | | | | | | | | | | | | | | | | | | The code to generate the dependency graph has been moved in the companion object of the generic OWL 2 ontology wrapper Ontology. This signals that we could potentially build a dependency graph for any ontology (and not only RSA ontology). Moreover, a dependency graph can be build for an Ontology object or an arbitrary TBox and Abox.
| * Merge branch 'master' into approximationFederico Igne2021-06-231-0/+14
| |\
| * | Fix minor compilation errorsFederico Igne2021-06-011-2/+1
| | |
| * | Multiple fixesFederico Igne2021-05-311-2/+2
| | |
* | | Add Apache License 2.0Federico Igne2021-06-301-0/+16
| |/ |/|
* | Fix automatic query buildingFederico Igne2021-06-231-0/+14
|/ | | | | The API for the SKOLEM operator is changed in RDFox but the helper functions using it were not ported to the new syntax.
* Update minor details in documentationFederico Igne2021-05-311-0/+2
|
* Streamline RSA approximationFederico Igne2021-04-091-76/+24
|
* Apply minor tweaksFederico Igne2021-04-021-1/+2
|
* Introduce a better system to handle command line inputFederico Igne2021-01-301-58/+142
|
* Add external script to execute benchmarks and gather results.Federico Igne2021-01-051-1/+1
|
* Slightly rework main executionFederico Igne2021-01-051-46/+39
|
* Add additional debug information to query executionFederico Igne2020-12-171-10/+22
|
* Keep track of answer multiplicityFederico Igne2020-12-091-1/+6
|
* Add diagnostics for (un)filtered answer ratioFederico Igne2020-12-071-5/+21
|
* Merge branch 'master' into loggerFederico Igne2020-12-071-1/+1
|\
| * Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-071-1/+1
| | | | | | | | | | One of the object constructor was returning an Option. It was weird to have a constructor that would not always return an object.
* | Add first implementation of a loggerFederico Igne2020-12-071-7/+9
|/ | | | | This is needed mostly for debugging and benchmarking purposes. We tried to make it as "out of the way" as possible.
* Fix bug on argument validationFederico Igne2020-11-301-1/+1
|
* Add ability to pass multiple ontology files on the commandlineFederico Igne2020-11-271-8/+9
|
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-241-1/+1
| | | | For a more consistent naming.
* Simplify workflow for query executionFederico Igne2020-11-201-179/+7
| | | | Input query is now read from file.
* Integrate new ConjunctiveQuery in filtering program computationFederico Igne2020-11-191-5/+4
|
* Add wrapper class for (boolean) conjunctive queriesFederico Igne2020-11-191-4/+4
|
* Move NI instantiation in FilteringProgramFederico Igne2020-11-191-14/+4
|
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-0/+249
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-03 06:16:04 +0000