aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
Commit message (Expand)AuthorAgeFilesLines
* 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
* | Add additional diagnosticsFederico Igne2020-12-071-1/+7
* | Add first implementation of a loggerFederico Igne2020-12-071-101/+129
|/
* Reintroduce previous implementation of `cycle`Federico Igne2020-12-061-29/+32
* Rework skolemization strategiesFederico Igne2020-12-041-9/+6
* Make filtering program generate/load facts as factsFederico Igne2020-12-021-1/+3
* Move datalog rules generation for RSA check to new RDFox generatorFederico Igne2020-12-021-28/+47
* Adapt canonical model computation to new RDFox converterFederico Igne2020-12-021-14/+13
* Add ability to pass multiple ontology files on the commandlineFederico Igne2020-11-271-7/+9
* Turn implicit classes wrappers into objectsFederico Igne2020-11-241-2/+3
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-241-11/+11
* Remove duplicate creation of RDFox datastoresFederico Igne2020-11-231-12/+15
* Rename `boolean` as `bcq`Federico Igne2020-11-231-1/+1
* Update RSAOntology interface for query answeringFederico Igne2020-11-201-28/+36
* Simplify workflow for query executionFederico Igne2020-11-201-4/+51
* Integrate new ConjunctiveQuery in filtering program computationFederico Igne2020-11-191-1/+2
* Add wrapper class for (boolean) conjunctive queriesFederico Igne2020-11-191-1/+1
* Move NI instantiation in FilteringProgramFederico Igne2020-11-191-5/+2
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-16 07:03:01 +0000