@prefix this: <https://w3id.org/np/RAnXC2CRPMtNsmKczHgxU1KmCS56hNaC0rMDCYadISMC0> .
@prefix sub: <https://w3id.org/np/RAnXC2CRPMtNsmKczHgxU1KmCS56hNaC0rMDCYadISMC0/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix nt: <https://w3id.org/np/o/ntemplate/> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix orcid: <https://orcid.org/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

sub:Head {
  this: a np:Nanopublication;
    np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo .
}

sub:assertion {
  sub:get-fair-compendium-claims a <https://w3id.org/kpxl/grlc/grlc-query>;
    dct:description "Returns the claims (AIDA sentences) that are candidates for a FAIR Compendium of Contributed Knowledge ('partid'): all AIDA sentence nanopublications signed with a public key declared by the agent the compendium covers, whose sentence is derived (prov:wasDerivedFrom) from a paper of the compendium, i.e. a scholarly work whose author list contains the covered agent and whose publication date falls in the covered year. Matching is done by public key rather than npx:signedBy. The compendium's covered agent and year are resolved from its latest non-invalidated defining nanopub.";
    dct:license <http://www.apache.org/licenses/LICENSE-2.0>;
    rdfs:label "Get claims for FAIR Compendium";
    <https://w3id.org/kpxl/grlc/endpoint> <https://w3id.org/np/l/nanopub-query-1.1/repo/full>;
    <https://w3id.org/kpxl/grlc/sparql> """prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix dct: <http://purl.org/dc/terms/>
prefix gen: <https://w3id.org/kpxl/gen/terms/>
prefix np: <http://www.nanopub.org/nschema#>
prefix npa: <http://purl.org/nanopub/admin/>
prefix npx: <http://purl.org/nanopub/x/>
prefix bibo: <http://purl.org/ontology/bibo/>
prefix prov: <http://www.w3.org/ns/prov#>
prefix hycl: <http://purl.org/petapico/o/hycl#>

select distinct ?aida ?aida_label ?paper ?paper_label ?np (\"^\" as ?np_label) where {
  service <https://w3id.org/np/l/nanopub-query-1.1/repo/type/76d6cd4231dca5c411812f254cb92473d90eb9cefb4182f91a94aca2f356d0d2> {
    graph npa:graph {
      ?dnp npa:hasValidSignatureForPublicKeyHash ?dpk ;
           (npx:introduces|npx:describes|npx:embeds) ?_partid_iri ;
           dct:created ?ddate ;
           np:hasAssertion ?da .
      filter not exists { ?inv npx:invalidates ?dnp ; npa:hasValidSignatureForPublicKeyHash ?dpk . }
      filter not exists {
        ?dnp2 npa:hasValidSignatureForPublicKeyHash ?pk2 ;
              (npx:introduces|npx:describes|npx:embeds) ?_partid_iri ;
              dct:created ?ddate2 .
        filter not exists { ?inv2 npx:invalidates ?dnp2 ; npa:hasValidSignatureForPublicKeyHash ?pk2 . }
        filter(?ddate2 > ?ddate)
      }
    }
    graph ?da {
      ?_partid_iri gen:coversAgent ?agent ;
        gen:coversTime ?year .
    }
  }
  graph ?gk { ?kd npx:declaredBy ?agent ; npx:hasPublicKey ?pubkey . }
  graph npa:graph {
    ?np npa:hasValidSignatureForPublicKey ?pubkey ;
        npa:hasValidSignatureForPublicKeyHash ?pkh ;
        np:hasAssertion ?a .
    optional { ?np rdfs:label ?nplabel }
    filter not exists { ?npi npx:invalidates ?np ; npa:hasValidSignatureForPublicKeyHash ?pkh . }
    filter not exists { ?np npx:hasNanopubType npx:ExampleNanopub . }
  }
  graph ?a {
    ?aida rdf:type hycl:AIDA-Sentence ;
      prov:wasDerivedFrom ?paper .
  }
  graph npa:graph {
    ?pnp npa:hasValidSignatureForPublicKeyHash ?ppkh ;
         (npx:introduces|npx:describes) ?paper ;
         np:hasAssertion ?pa .
    filter not exists { ?pnpi npx:invalidates ?pnp ; npa:hasValidSignatureForPublicKeyHash ?ppkh . }
  }
  graph ?pa {
    ?paper dct:date ?pdate ;
      bibo:authorList ?al .
    ?al ?memberprop ?agent .
    optional { ?paper dct:title ?ptitle }
  }
  filter(strstarts(str(?memberprop), 'http://www.w3.org/1999/02/22-rdf-syntax-ns#_'))
  filter(strstarts(str(?pdate), str(?year)))
  bind(replace(coalesce(?nplabel, str(?aida)), '^AIDA sentence: ', '') as ?aida_label)
  bind(coalesce(?ptitle, str(?paper)) as ?paper_label)
} order by ?paper ?aida""" .
}

sub:provenance {
  sub:assertion prov:wasAttributedTo orcid:0000-0002-1267-0234 .
}

sub:pubinfo {
  orcid:0000-0002-1267-0234 foaf:name "Tobias Kuhn" .
  
  this: dct:created "2026-07-27T17:07:58.843+02:00"^^xsd:dateTime;
    dct:creator orcid:0000-0002-1267-0234;
    dct:license <https://creativecommons.org/publicdomain/zero/1.0/>;
    npx:embeds sub:get-fair-compendium-claims;
    npx:wasCreatedAt <http://localhost:37373/>;
    nt:wasCreatedFromProvenanceTemplate <https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU>;
    nt:wasCreatedFromPubinfoTemplate <https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8>,
      <https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI>;
    nt:wasCreatedFromTemplate <https://w3id.org/np/RAEFAt-QcFK0ZhqfvlsmS10BnzGJA0xwOICZXkO-ai87k> .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB";
    npx:hasSignature "Jmf5/KaN2MOs6TpuNNZkmxoOzm1DquLrSpZDGnDU8IB3jyGILpffp+nflY99MPu7xIhbBLCBj71oNsG2/Rl3/ksqRD87LOumW+Dcu9Z/uLo0Yu+ur6cuZzZ/Vrp34b3T3DXrk0tcQzcdzhMbYLXkZFeU6AnedCvf0R6LxmsDAc4=";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0000-0002-1267-0234 .
}