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

	Commit message (Expand)	Author	Age	Files	Lines
*	The LimitedSkolemisation now employs a fixed-depth term instead of a constant...	RncLsn	2015-08-03	2	-20/+36
*	Option for SkolemUpperBound application and for skolemisation depth (from fil...	RncLsn	2015-08-01	1	-4/+1
*	Many little changes.	RncLsn	2015-07-03	1	-2/+2
*	Fixed marking original individuals in the relevant upper store.	RncLsn	2015-06-09	1	-1/+1
*	Violations processor (Python script).	RncLsn	2015-06-05	1	-2/+2
*	Violation statistics.	RncLsn	2015-06-05	1	-0/+7
*	Fixed terms' depth count in SkolemTermsManager (it was always zero).	RncLsn	2015-06-04	2	-17/+14
*	Restored fixed SkolemTermsManager (went lost in some revert).	RncLsn	2015-06-04	2	-50/+48
*	Before reintroducing extended queries.	RncLsn	2015-06-03	1	-10/+12
*	Deleted unused classes.	RncLsn	2015-05-19	2	-43/+43
*	Changes in the upper store querying (mainly in MyQueryReasoner).	RncLsn	2015-05-19	1	-6/+3
*	Configured Maven and improved executable class and tests.	RncLsn	2015-05-18	1	-0/+1
*	It executes. Matching bounds for query 18 of UOBM.	RncLsn	2015-05-14	1	-4/+6
*	Fast implementation of all the other things to get something working, but it ...	RncLsn	2015-05-13	2	-21/+97
*	Implemented SkolemTermsManager.	RncLsn	2015-05-13	5	-129/+135
*	Implementing Limited Skolemisation, in particular SkolemTermsDispenser.	RncLsn	2015-05-13	7	-0/+595