aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox
Commit message (Expand)AuthorAgeFilesLines
* Make approximation generic over returned typeFederico Igne2021-07-223-38/+33
* Move some generic commands from RSAOntology to OntologyFederico Igne2021-07-223-259/+248
* Generalize dependency graph generationFederico Igne2021-07-208-119/+182
* Add generic Ontology wrapper for common tasksFederico Igne2021-07-201-0/+90
* Merge branch 'master' into approximationFederico Igne2021-06-234-14/+31
|\
| * Fix automatic query buildingFederico Igne2021-06-234-14/+31
* | Fix minor compilation errorsFederico Igne2021-06-014-83/+106
* | Multiple fixesFederico Igne2021-05-314-54/+80
* | Add scafolding for generic approximation supportFederico Igne2021-05-313-143/+385
|/
* Update minor details in documentationFederico Igne2021-05-311-0/+2
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-153-14/+0
* Fix handling of class expression OWLObjectHasSelfFederico Igne2021-04-092-46/+54
* Streamline RSA approximationFederico Igne2021-04-094-162/+132
* Add approximation to RSAFederico Igne2021-04-071-107/+159
* Add shifting for disjunction in the rhs of an axiomFederico Igne2021-04-051-2/+56
* Fix generation of fresh classes during normalizationFederico Igne2021-04-051-1/+4
* Fix minor issues with revised filtering programFederico Igne2021-04-022-80/+97
* Apply minor tweaksFederico Igne2021-04-022-11/+14
* Add revised implementation of filtering programFederico Igne2021-02-044-6/+414
* Add versioning system for different versions of codeFederico Igne2021-02-044-12/+66
* Add ontology normalizerFederico Igne2021-02-043-2/+541
* Fix facts/rules import into RDFoxFederico Igne2021-01-301-8/+22
* Delay import of data files (#7)Federico Igne2021-01-306-194/+256
* Introduce a better system to handle command line inputFederico Igne2021-01-301-58/+142
* Simplify top axiomatization as shown in #7Federico Igne2021-01-261-43/+84
* Add OWLDataHasValue class expression supportFederico Igne2021-01-231-1/+8
* Add OWLSymmetricObjectPropertyAxiom and OWLSubDataPropertyOfAxiom supportFederico Igne2021-01-231-5/+17
* Add OWLDisjointClassesAxiom supportFederico Igne2021-01-231-1/+7
* Add OWL{Data,Object}MinCardinality and OWLHasValue expression supportFederico Igne2021-01-232-5/+81
* Fix support for a few axiom types.Federico Igne2021-01-212-36/+22
* Add external script to execute benchmarks and gather results.Federico Igne2021-01-053-9/+11
* Slightly rework main executionFederico Igne2021-01-051-46/+39
* Attempt to force a better ordering of body atoms in filtering rulesFederico Igne2021-01-051-9/+9
* Introduce code for transactions (commented out)Federico Igne2020-12-171-4/+17
* Add additional debug information to query executionFederico Igne2020-12-171-10/+22
* Port code to RDFox v4.1.0Federico Igne2020-12-174-34/+61
* Remove old logic program conversion codeFederico Igne2020-12-113-370/+0
* Fix answer retrieval for boolean CQsFederico Igne2020-12-111-1/+1
* Merge branch 'logger' into masterFederico Igne2020-12-095-143/+298
|\
| * Keep track of answer multiplicityFederico Igne2020-12-094-17/+30
| * Merge branch 'master' into loggerFederico Igne2020-12-084-11/+24
| |\
| * | Remove (forced) materializationFederico Igne2020-12-081-2/+0
| * | Add diagnostics for (un)filtered answer ratioFederico Igne2020-12-073-5/+38
| * | Fix typo in ontology diagnosticsFederico Igne2020-12-071-2/+2
| * | Merge branch 'master' into loggerFederico Igne2020-12-072-2/+2
| |\ \
| * | | Add additional diagnosticsFederico Igne2020-12-072-1/+11
| * | | Add first implementation of a loggerFederico Igne2020-12-074-129/+230
* | | | Change how inverse roles are handle on the logic programming sideFederico Igne2020-12-081-1/+2
| |_|/ |/| |
* | | Fix bug for OWLObjectSubPropertyOfAxiomFederico Igne2020-12-081-5/+4
* | | Include literals in instances of `Named` internal predicateFederico Igne2020-12-082-5/+19
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-18 13:57:50 +0000