1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Soundness and Completeness of SPARQL Query Containment Solver SpeCS
Mirko Spasić, Milena Vujošević Janičić
Tool SPECS implements an efficient automated approach for reasoning about the SPARQL query containment problem. In this paper, we prove the correctness of this approach. We give pr…
cs.DB2021
A GeoSPARQL Compliance Benchmark
Milos Jovanovik, Timo Homburg, Mirko Spasić
We propose a series of tests that check for the compliance of RDF triplestores with the GeoSPARQL standard. The purpose of the benchmark is to test how many of the requirements out…