RSAComb - Re-implementation of the combined approach for CQ answering over RSA ontologies

	Commit message (Expand)	Author	Age	Files	Lines
*	Extend converter to RDFox rules to handle property chain axioms	Federico Igne	2021-08-03	1	-38/+0
*	Implement fine-grained constant skolemization in upperbound	Federico Igne	2021-07-29	1	-100/+128
*	Change spelling: LowerBound to Lowerbound	Federico Igne	2021-07-29	1	-9/+9
*	Add skeleton for upperbound computation	Federico Igne	2021-07-27	1	-0/+183
*	Rework class structure to match more general workflow	Federico Igne	2021-07-27	1	-1/+1
*	Fix file naming	Federico Igne	2021-07-22	2	-2/+2
*	Remove normalization step from lowerbound computation	Federico Igne	2021-07-22	1	-17/+10
*	Make approximation generic over returned type	Federico Igne	2021-07-22	2	-33/+30
*	Move some generic commands from RSAOntology to Ontology	Federico Igne	2021-07-22	1	-2/+2
*	Generalize dependency graph generation	Federico Igne	2021-07-20	1	-2/+2
*	Fix minor compilation errors	Federico Igne	2021-06-01	1	-6/+25
*	Multiple fixes	Federico Igne	2021-05-31	2	-12/+30
*	Add scafolding for generic approximation support	Federico Igne	2021-05-31	2	-0/+223