index
:
ACQuA
main
OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.
Federico Igne
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
main
bump(pom): update dependences
Federico Igne
2 years
Tag
Download
Author
Age
v0.2.1
ACQuA-0.2.1.tar.gz
ACQuA-0.2.1.zip
Federico Igne
3 years
v0.2.0
ACQuA-0.2.0.tar.gz
ACQuA-0.2.0.zip
Federico Igne
3 years
v2.1.2
ACQuA-2.1.2.tar.gz
ACQuA-2.1.2.zip
RncLsn
10 years
v2.1.1
ACQuA-2.1.1.tar.gz
ACQuA-2.1.1.zip
RncLsn
10 years
v2.1.0
ACQuA-2.1.0.tar.gz
ACQuA-2.1.0.zip
RncLsn
10 years
Age
Commit message
Author
Files
Lines
2022-10-16
bump(pom): update dependences
HEAD
main
Federico Igne
1
-3
/
+3
2022-06-01
Merge remote-tracking branch 'pagoda/master' into main
Federico Igne
1
-1
/
+1
2022-06-01
Bump gson from 2.3.1 to 2.8.9
dependabot[bot]
1
-1
/
+1
2022-05-19
docs: update DOI information from Zenodo
Federico Igne
2
-2
/
+19
2022-05-19
test: add simple LUBM test data
v0.2.1
Federico Igne
3
-0
/
+109025
2022-05-19
docs: update README.md
Federico Igne
1
-19
/
+52
2022-05-19
fix(cli): pass data path to PAGOdA's properties
Federico Igne
2
-1
/
+9
2022-05-18
fix: allow bounds update even when the bounds gap is empty
v0.2.0
Federico Igne
1
-2
/
+2
2022-05-18
feat(lower-bound): always compute the lower bound from RSAComb
Federico Igne
1
-1
/
+1
2022-05-18
feat: add consistency check for ACQuA query reasoner
Federico Igne
2
-12
/
+347
[...]
Clone
https://git.dyamon.me/projects/ACQuA