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

	Commit message (Collapse)	Author	Age	Files	Lines
*	NOT-WORKING: trying to add query-dependent Skolemisation.	RncLsn	2015-05-28	1	-91/+87
\|
*	Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.	RncLsn	2015-05-15	1	-51/+10
\|
*	pass the wine realisation	yzhou	2015-04-28	2	-45/+77
\|
*	initial version	yzhou	2015-04-21	5	-0/+1575