aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* | | | Rename repository to RSACombFederico Igne2021-06-302-3/+4
|/ / /
* | | Merge branch 'master' of github.com:KRR-Oxford/RSA-combined-approachFederico Igne2021-06-3033-1/+699
|\ \ \
| * | | Add Apache License 2.0Federico Igne2021-06-3033-1/+699
* | | | Update README.mdFederico Igne2021-06-302-2/+13
|/ / /
* | | Update README.mdFederico Igne2021-06-291-2/+12
* | | Fix path in examplesFederico Igne2021-06-291-3/+3
| |/ |/|
* | Fix automatic query buildingFederico Igne2021-06-234-14/+31
|/
* Update minor details in documentationFederico Igne2021-05-311-0/+2
* Update example splitting TBox and ABoxFederico Igne2021-05-312-46/+3
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-154-26/+12
* 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-052-2/+77
* Fix generation of fresh classes during normalizationFederico Igne2021-04-051-1/+4
* Change filtering program name on testsFederico Igne2021-04-051-1/+1
* 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-046-33/+98
* Add ontology normalizerFederico Igne2021-02-044-2/+681
* Fix facts/rules import into RDFoxFederico Igne2021-01-301-8/+22
* Delay import of data files (#7)Federico Igne2021-01-307-202/+260
* Introduce a better system to handle command line inputFederico Igne2021-01-302-60/+160
* 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 sbt plugin to create jar with dependencesFederico Igne2021-01-084-14/+69
* Merge remote-tracking branch 'origin/master'Federico Igne2021-01-052-0/+18
|\
| * Add drafts folder to gitignoreStefano Germano2020-12-181-0/+1
| * Suite containing all the testsStefano Germano2020-12-181-0/+17
* | Add external script to execute benchmarks and gather results.Federico Igne2021-01-054-9/+214
* | 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
|/
* Merge remote-tracking branch 'origin/master' into masterFederico Igne2020-12-171-1/+1
|\
| * Fix typoStefano Germano2020-12-161-1/+1
* | Comment out old testsFederico Igne2020-12-173-521/+521
* | Fix and improve tests for CQ answer classFederico Igne2020-12-171-5/+48
* | 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-175-35/+62
* | 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-0813-24/+40
| |\
| * | Remove (forced) materializationFederico Igne2020-12-081-2/+0
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-19 15:34:58 +0000