aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix small formatting issue on verbose outputFederico Igne2021-11-171-2/+4
* Add an optimised version of the filtering programFederico Igne2021-11-171-1/+1
* Clean up commented codeFederico Igne2021-11-171-58/+0
* Drop filtering tuple table when done with a queryFederico Igne2021-11-011-67/+11
* Finalise dbpedia functional testingFederico Igne2021-10-301-7/+28
* Fix verbose printing of canonical model factsFederico Igne2021-10-221-1/+1
* Rework RDFox simulation to be more modularFederico Igne2021-10-201-1/+4
* Add script to load debug data to RDFoxFederico Igne2021-10-051-4/+5
* Add substitution rules in equality axiomatisationFederico Igne2021-10-041-2/+29
* Fix issue where not all roles where considered for top axiomatisationFederico Igne2021-10-041-35/+41
* Make file logging lazyFederico Igne2021-10-041-1/+1
* Add file output on verbose log levelFederico Igne2021-10-031-0/+4
* Move to os-lib for filesystem operationsFederico Igne2021-10-031-2/+2
* Fix compilation errorsFederico Igne2021-10-031-3/+2
* Allow querying of a single queryFederico Igne2021-10-021-18/+36
* Rework revides filtering program computation to use named graphsFederico Igne2021-10-021-4/+3
* Rework naive filtering program computation to use named graphsFederico Igne2021-10-011-8/+8
* Make canonical model generation parametric over named graphFederico Igne2021-10-011-19/+45
* Refactor query answering to use named graphsFederico Igne2021-09-301-59/+117
* Add import of multiple queriesFederico Igne2021-09-291-1/+3
* Update RDFox library to 5.2.1Federico Igne2021-09-011-0/+1
* Add new fresh data factoryFederico Igne2021-08-061-24/+0
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-271-375/+288
|\
| * Review main workflowFederico Igne2021-07-221-2/+2
| * Move some generic commands from RSAOntology to OntologyFederico Igne2021-07-221-241/+204
| * Generalize dependency graph generationFederico Igne2021-07-201-98/+13
| * Merge branch 'master' into approximationFederico Igne2021-06-231-3/+1
| |\
| * | Fix minor compilation errorsFederico Igne2021-06-011-61/+69
| * | Multiple fixesFederico Igne2021-05-311-40/+48
| * | Add scafolding for generic approximation supportFederico Igne2021-05-311-143/+162
* | | Add Apache License 2.0Federico Igne2021-06-301-0/+16
| |/ |/|
* | Fix automatic query buildingFederico Igne2021-06-231-3/+1
|/
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-151-2/+0
* Fix handling of class expression OWLObjectHasSelfFederico Igne2021-04-091-44/+45
* Streamline RSA approximationFederico Igne2021-04-091-83/+99
* Add approximation to RSAFederico Igne2021-04-071-107/+159
* Apply minor tweaksFederico Igne2021-04-021-10/+12
* Add revised implementation of filtering programFederico Igne2021-02-041-2/+2
* Add versioning system for different versions of codeFederico Igne2021-02-041-1/+2
* Add ontology normalizerFederico Igne2021-02-041-1/+6
* Delay import of data files (#7)Federico Igne2021-01-301-98/+199
* Add external script to execute benchmarks and gather results.Federico Igne2021-01-051-7/+9
* Introduce code for transactions (commented out)Federico Igne2020-12-171-4/+17
* Keep track of answer multiplicityFederico Igne2020-12-091-5/+6
* Merge branch 'master' into loggerFederico Igne2020-12-081-2/+10
|\
| * Include literals in instances of `Named` internal predicateFederico Igne2020-12-081-2/+10
| * Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-071-1/+1
* | Remove (forced) materializationFederico Igne2020-12-081-2/+0
* | Add diagnostics for (un)filtered answer ratioFederico Igne2020-12-071-0/+14
* | Fix typo in ontology diagnosticsFederico Igne2020-12-071-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-03 09:30:01 +0000