diff --git a/rdf-processing-toolkit-cli/src/main/java/org/aksw/bench/geo/cmd/CmdBenchGenGridDataGen.java b/rdf-processing-toolkit-cli/src/main/java/org/aksw/bench/geo/cmd/CmdBenchGenGridDataGen.java index b64d70f..fd226c5 100644 --- a/rdf-processing-toolkit-cli/src/main/java/org/aksw/bench/geo/cmd/CmdBenchGenGridDataGen.java +++ b/rdf-processing-toolkit-cli/src/main/java/org/aksw/bench/geo/cmd/CmdBenchGenGridDataGen.java @@ -142,7 +142,9 @@ public Integer call() throws Exception { Stream quads = IntStream.range(0, graphs).boxed().flatMap(g -> { - double ratio = scale ? 1 - g / (double)graphs : 1.0; + double ratioBase = scale ? 1 - g / (double)graphs : 1.0; + // Always make cells a bit smaller to avoid corner cases with touching envelopes + double ratio = 0.95 * ratioBase; Node graph = NodeFactory.createURI(genGraphName(g)); return grid.stream().flatMap(cell -> { Node feature = NodeFactory.createURI("https://www.example.org/feature/" + g + "/" + cell.row() + "/" + cell.col());