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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix path in examples	Federico Igne	2021-06-29	1	-3/+3
\|
*	Update example splitting TBox and ABox	Federico Igne	2021-05-31	2	-46/+3
\|
*	Add test data (ABox) for LUBM (manually merged)	Federico Igne	2020-11-27	1	-0/+137381
\| \| \| \| \| \| \| \| \| \| \|	This data has been generated with the following $ java edu.lehigh.swat.bench.uba.Generator -univ 1 -index 0 -seed 0 -onto "http://swat.cse.lehigh.edu/onto/univ-bench.owl" and manually merged. Note that merging ontologies is not required anymore and the system will take care of it.
*	Add support for data property domain axioms	Federico Igne	2020-11-27	1	-61/+61
\| \| \| \|	Also reintroduce data property axioms in LUBM
*	Add LUBM ontology to the examples	Federico Igne	2020-11-26	2	-0/+1468
\| \| \| \|	Both the original ontology and the modified ontology are included.
*	Simplify workflow for query execution	Federico Igne	2020-11-20	1	-0/+9
\| \| \| \|	Input query is now read from file.
*	Fix typo in example 1 (Turtle file)	Federico Igne	2020-11-10	1	-1/+1
\|
*	Rewrite example 1 in Turtle syntax	Federico Igne	2020-11-10	2	-0/+55
\| \| \| \|	Personally it is better documented, easier to read and to write.
*	Add unit tests for example2.owl for the canonical model computation	Federico Igne	2020-10-28	1	-1/+1
\|
*	Add method to compute the set of individuals in an input ontology	Federico Igne	2020-09-22	1	-1/+1
\|
*	Add simple examples	Federico Igne	2020-08-17	2	-0/+192