minDistance in spatial search

[ktk]

I've been showing QLever in Singapore this week and learned that I should show schools instead of public transport stops, as this is what every parent is interested in. So I came up with this query here: https://qlever.cs.uni-freiburg.de/osm-planet/5TLib7

PREFIX osmkey: <https://www.openstreetmap.org/wiki/Key:>
PREFIX osmrel: <https://www.openstreetmap.org/relation/>
PREFIX ogc: <http://www.opengis.net/rdf#>
PREFIX geo: <http://www.opengis.net/ont/geosparql#>
PREFIX qlss: <https://qlever.cs.uni-freiburg.de/spatialSearch/>

# All buildings in Singapore that are within a 1km radius of a school
SELECT ?building ?dist ?school ?building_location WHERE {
  {
    osmrel:536780 ogc:sfContains ?building .
    ?building osmkey:building [] .
  }
  ?building geo:hasCentroid/geo:asWKT ?building_location .

  SERVICE qlss: {
    [] qlss:left ?building_location .
    [] qlss:right ?school_location .
    [] qlss:maxDistance 1000 .
    [] qlss:payload ?school .
    [] qlss:bindDistance ?dist .

    {
      ?school osmkey:amenity "school" . # can be replaced with "kindergarten" or "college" as well
      ?school geo:hasCentroid/geo:asWKT ?school_location .
    }
  }

  ?building geo:hasGeometry/geo:asWKT ?building_geometry .
}

Now someone on LinkedIn asked if we can show the ones that are not within that distance. I flipped maxDistance to minDistance but that does not seem to exist. Is there a way to get that in the current spatial search?

[hannahbast]

Sure, you need a nearest-neighbor search for that, which is available for quite some time already, see https://github.com/ad-freiburg/qlever/wiki/GeoSPARQL-support-in-QLever and https://qlever.cs.uni-freiburg.de/osm-planet/pgD6OH (buildings more than X km away from a station)