ACQuA - OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Rewritten ontology loading of class RLPlusOntology. Now query-dependent ↵	RncLsn	2015-05-28	1	-44/+47
\| \| \| \|	skolemisation works.
*	NOT-WORKING: trying to add query-dependent Skolemisation.	RncLsn	2015-05-28	13	-327/+318
\|
*	Removed extended queries (involving classes MyQueryReasoner and ↵	RncLsn	2015-05-21	5	-80/+62
\| \| \| \|	QueryRecord). Executed LightTests successfully.
*	Added more tests.	RncLsn	2015-05-20	34	-448/+201721
\| \| \| \|	Querying of the upper bound is currently unstable.
*	Deleted unused classes.	RncLsn	2015-05-19	18	-953/+223
\|
*	Changes in the upper store querying (mainly in MyQueryReasoner).	RncLsn	2015-05-19	12	-381/+389
\|
*	Backup before changes in MyQueryReasoner.	RncLsn	2015-05-19	17	-362/+679
\|
*	Configured Maven and improved executable class and tests.	RncLsn	2015-05-18	45	-1188/+472
\|
*	Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.	RncLsn	2015-05-15	36	-282/+293
\|
*	It executes. Matching bounds for query 18 of UOBM.	RncLsn	2015-05-14	6	-40/+44
\| \| \| \|	It is not stable: several critical fixes to do!
*	Fast implementation of all the other things to get something working, but it ↵	RncLsn	2015-05-13	9	-61/+184
\| \| \| \|	doesn't.
*	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
\| \| \| \|	Started implementation of the new classes.
*	Adding (not completed) a new upper bound technique, namely Limited ↵	RncLsn	2015-05-11	16	-158/+165
\| \| \| \|	Skolemisation.
*	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
\| \| \| \| \| \| \| \|	Plus minor fixes.
* \|	Switch from JUnit to TestNG.	RncLsn	2015-05-06	88	-289/+1168
\|/ \| \| \|	Plus minor fixes.
*	removed debug output for ore compitition	yzhou	2015-05-02	6	-16/+14
\| \| \| \|	to add log info, check Utility.java LOGS
*	fixed some bugs	yzhou	2015-05-01	3	-8/+51
\|
*	add time tag to the temporary output	yzhou	2015-05-01	4	-7/+17
\| \| \|	fixed a bug about equality in the tracking datalog encoding
*	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 some output info for input argument in PagodaTester
*	added two interfaces in QueryReasoner for SemFacet	yzhou	2015-04-22	5	-7/+15
\| \| \|	removed answer files in the *.conf
*	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