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
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
|
Fast implementation of all the other things to get something working, but it ...
RncLsn
2015-05-13
9
-61
/
+184
*
|
Implemented SkolemTermsManager.
RncLsn
2015-05-13
14
-143
/
+259
*
|
Implementing Limited Skolemisation, in particular SkolemTermsDispenser.
RncLsn
2015-05-13
29
-579
/
+492
*
|
Added classes for implementing new upper store (Limited Skolemisation).
RncLsn
2015-05-12
12
-493
/
+490
*
|
Adding (not completed) a new upper bound technique, namely Limited Skolemisat...
RncLsn
2015-05-11
16
-158
/
+165
*
|
Adding (not completed) log of partial answers in Json.
RncLsn
2015-05-09
13
-99
/
+183
*
|
Making the output machine-readable (JSON).
RncLsn
2015-05-07
22
-411
/
+588
*
|
Merge remote-tracking branch 'origin/master'
RncLsn
2015-05-06
0
-0
/
+0
|
\
\
|
*
\
Merge remote-tracking branch 'origin/master'
Ronca
2015-05-06
0
-0
/
+0
|
|
\
\
*
|
\
\
Fixing author
RncLsn
2015-05-06
0
-0
/
+0
|
\
\
\
\
|
|
/
/
/
|
/
|
/
/
|
|
/
/
|
*
/
Switch from JUnit to TestNG.
Ronca
2015-05-06
88
-289
/
+1168
|
|
/
*
/
Switch from JUnit to TestNG.
RncLsn
2015-05-06
88
-289
/
+1168
|
/
*
removed debug output for ore compitition
yzhou
2015-05-02
6
-16
/
+14
*
fixed some bugs
yzhou
2015-05-01
3
-8
/
+51
*
add time tag to the temporary output
yzhou
2015-05-01
4
-7
/
+17
*
downgrade owl api and reorganised src files
yzhou
2015-04-30
28
-28
/
+11
*
added top answers optimisation back
yzhou
2015-04-29
5
-42
/
+46
*
handle inconsistent ontology
yzhou
2015-04-29
1
-0
/
+6
*
pass the wine realisation
yzhou
2015-04-28
11
-101
/
+623
*
updated readme
yzhou
2015-04-23
1
-0
/
+1
*
updated readme file
yzhou
2015-04-23
4
-31
/
+70
*
added two interfaces in QueryReasoner for SemFacet
yzhou
2015-04-22
5
-7
/
+15
*
fixed some bugs in windows server
yzhou
2015-04-21
29
-2735
/
+454
*
fixed a bug in simpleETL -- closing a FileOutputStream
yzhou
2015-04-21
3
-17
/
+26
*
added RDFox version 1711 src code
yzhou
2015-04-21
1
-0
/
+0
*
initial version
yzhou
2015-04-21
213
-0
/
+599641
*
Initial commit
yujiaoz
2015-04-21
1
-0
/
+2
[prev]