changed Stardog benchmark to use 25% of the data (#51)
activated 5% and 25% DBpedia benchmark for Virtuoso
added error check during constraint parsing (#51)
improved error message
added test case for optimizer
improved formatting
documented parameter type
documented type
fixed documented type
fixed parsing: tokens like "0" evaluate to false, which stops the parsing process (#51)