OfficeGraph RiverBench benchmark dataset

This dataset is the expansion of OfficeGraph by splitting the measurements into separate graphs and creating a benchmark dataset with 15 million elements. OfficeGraph is a real-world data of measurements from 444 IoT devices taken over 11 months. The devices are made up of 17 different sensor models which measure different properties. Data was taken in Dutch 7-story office building and consists of about 90 million RDF triples. See also the paper for more details. The elements in the dataset are ordered in ascending order by the saref:hasTimestamp predicate, which indicates when the measurement was taken. In other words, the elements are sorted from oldest to newest by the measurement time.