RSAComb - Re-implementation of the combined approach for CQ answering over RSA ontologies

Branch	Commit message	Author	Age
develop	refactor: RSA utils	Federico Igne	3 years
master	bump(pom): update dependences	dyamon	3 years

Tag	Download	Author	Age
v1.1.0	RSAComb-1.1.0.tar.gz RSAComb-1.1.0.zip	Federico Igne	3 years
v1.0.0	RSAComb-1.0.0.tar.gz RSAComb-1.0.0.zip	Federico Igne	4 years
v0.2.0	RSAComb-0.2.0.tar.gz RSAComb-0.2.0.zip	Federico Igne	4 years
v0.1.1	RSAComb-0.1.1.tar.gz RSAComb-0.1.1.zip	Federico Igne	4 years
v0.1.0	RSAComb-0.1.0.tar.gz RSAComb-0.1.0.zip	Federico Igne	4 years

Age	Commit message	Author	Files	Lines
2021-04-15	Prepare code for double-blind submissionv0.1.0	Federico Igne	4	-26/+12
2021-04-09	Fix handling of class expression OWLObjectHasSelf	Federico Igne	2	-46/+54
2021-04-09	Streamline RSA approximation	Federico Igne	4	-162/+132
2021-04-07	Add approximation to RSA	Federico Igne	1	-107/+159
2021-04-05	Add shifting for disjunction in the rhs of an axiom	Federico Igne	2	-2/+77
2021-04-05	Fix generation of fresh classes during normalization	Federico Igne	1	-1/+4
2021-04-05	Change filtering program name on tests	Federico Igne	1	-1/+1
2021-04-02	Fix minor issues with revised filtering program	Federico Igne	2	-80/+97
2021-04-02	Apply minor tweaks	Federico Igne	2	-11/+14
2021-02-04	Add revised implementation of filtering program	Federico Igne	4	-6/+414
[...]

Clone
https://git.dyamon.me/projects/RSAComb