Validating at Scale: The Compiler Meets 6.3 Million RDF Triples

The compiler was born on three hand written documents. That was enough to prove the shape of the idea — Pass 2 maps what we don't know, Pass 4 versions what we do, and the loop closes them. But a tool that only works on toy input isn't a tool. It's a demo. So we pointed it at real, large scale data. Not a curated sample — the full ORKG (Open Research Knowledge Graph) RDF export: 6,344,307 triples…