From 98687b0a5408148f1278411aa5852c946a257052 Mon Sep 17 00:00:00 2001 From: Claus Stadler Date: Sat, 9 Mar 2024 00:38:41 +0100 Subject: [PATCH] Grid bench: generated cells are now slightly scaled down to avoid potential corner cases due to touching edges --- .../java/org/aksw/bench/geo/cmd/CmdBenchGenGridDataGen.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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());