sub:assertion {
  sub:get-fip-decl-in-index dct:description "This query returns all FIP declarations that are part of the most recent versions of the FIP indexes, as these nanopubs are produced by the FIP Wizard." ;
    dct:license <http://www.apache.org/licenses/LICENSE-2.0> ;
    a <https://w3id.org/kpxl/grlc/grlc-query> ;
    rdfs:label "Get FIP declarations in indexes" ;
    <https://w3id.org/kpxl/grlc/endpoint> <https://w3id.org/np/l/nanopub-query-1.1/repo/full> ;
    <https://w3id.org/kpxl/grlc/sparql> """prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix fip: <https://w3id.org/fair/fip/terms/>
prefix dct: <http://purl.org/dc/terms/>
prefix dce: <http://purl.org/dc/elements/1.1/>
prefix npa: <http://purl.org/nanopub/admin/>
prefix npx: <http://purl.org/nanopub/x/>
prefix np: <http://www.nanopub.org/nschema#>

select ?fip_index ?fip_title ?decl_np where {
  graph npa:graph {
    ?fip_index npx:hasNanopubType npx:NanopubIndex .
    ?fip_index npa:hasValidSignatureForPublicKey ?pubkey .
    filter not exists { ?index_np_x npx:invalidates ?fip_index ; npa:hasValidSignatureForPublicKey ?pubkey . }
    ?fip_index np:hasAssertion ?index_a .
    ?fip_index rdfs:label ?fip_title .
    ?fip_index dct:created ?index_date .
    ?decl_np npa:hasValidSignatureForPublicKey ?decl_pubkey .
    filter not exists { ?decl_np_x npx:invalidates ?decl_np ; npa:hasValidSignatureForPublicKey ?decl_pubkey . }
    ?decl_np npx:hasNanopubType fip:FIP-Declaration .
    ?decl_np dct:created ?date .
  }
  graph ?index_a {
    ?fip_index npx:includesElement ?decl_np .
  }
  filter not exists {
    graph npa:graph {
      # Matching on the title string is an ugly hack:
      ?fip_newer_index rdfs:label ?fip_title .
      ?fip_newer_index npa:hasValidSignatureForPublicKey ?pubkey .
      filter not exists { ?fip_newer_index_x npx:invalidates ?fip_newer_index ; npa:hasValidSignatureForPublicKey ?pubkey . }
      ?fip_newer_index dct:created ?newer_date .
    }
    filter(?newer_date > ?index_date).
  }
}""" .
}