[ { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/provenance", "@graph": [ { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/assertion", "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://orcid.org/0000-0002-1267-0234" } ] } ] }, { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/Head", "@graph": [ { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw", "http://www.nanopub.org/nschema#hasAssertion": [ { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/assertion" } ], "http://www.nanopub.org/nschema#hasProvenance": [ { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/provenance" } ], "http://www.nanopub.org/nschema#hasPublicationInfo": [ { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/pubinfo" } ], "@type": [ "http://www.nanopub.org/nschema#Nanopublication" ] } ] }, { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/pubinfo", "@graph": [ { "@id": "https://orcid.org/0000-0002-1267-0234", "http://xmlns.com/foaf/0.1/name": [ { "@value": "Tobias Kuhn" } ] }, { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw", "http://purl.org/dc/terms/created": [ { "@value": "2026-09-11T13:00:09Z", "@type": "http://www.w3.org/2001/XMLSchema#dateTime" } ], "http://purl.org/dc/terms/creator": [ { "@id": "https://orcid.org/0000-0002-1267-0234" } ], "http://purl.org/dc/terms/license": [ { "@id": "https://creativecommons.org/licenses/by/4.0/" } ], "http://purl.org/nanopub/x/embeds": [ { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/get-more-specific-statements" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Get the more specific statements that a statement generalises" } ], "https://w3id.org/np/o/ntemplate/wasCreatedFromProvenanceTemplate": [ { "@id": "https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU" } ], "https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate": [ { "@id": "https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8" }, { "@id": "https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI" } ], "https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate": [ { "@id": "https://w3id.org/np/RAEFAt-QcFK0ZhqfvlsmS10BnzGJA0xwOICZXkO-ai87k" } ] }, { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/sig", "http://purl.org/nanopub/x/hasAlgorithm": [ { "@value": "RSA" } ], "http://purl.org/nanopub/x/hasPublicKey": [ { "@value": "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB" } ], "http://purl.org/nanopub/x/hasSignature": [ { "@value": "pisgtNaoDQoIohhhBV6CWoMdm4fDWP5LkRLuiJ2PjoI1WjbKvWFjruYGX7qoX+6OdDUuVt8WH4eySewlysqcaIMSb67Ga+4yqtNUYqI8rwk2riUWUaMtnZteMcQ5YJJ1VHLnCjBtFhfKWYPNw5YMWwtcXKhshT/mqnKVHC60CEM=" } ], "http://purl.org/nanopub/x/hasSignatureTarget": [ { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw" } ], "http://purl.org/nanopub/x/signedBy": [ { "@id": "https://orcid.org/0000-0002-1267-0234" } ] } ] }, { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/assertion", "@graph": [ { "@id": "https://w3id.org/np/RA9XMsgA86KtCXZq3KXA03Ewr9mgPTNfivYurHKRq_nGw/get-more-specific-statements", "http://purl.org/dc/terms/description": [ { "@value": "Given a general statement (an AIDA sentence), this query returns the more specific statements it generalises via hycl:hasMoreGeneralMeaningThan, one row per statement, with its kind (a finding that obtains support from a source, a general statement that itself generalises further statements, or a plain statement), the projects it declares itself relevant for, and its own nanopublication. It is meant as a part-level view on a statement page: the statement is the page's part and the page's context resource (a space, or a resource maintained by one) is filled into the context parameter automatically. Only links and statements asserted in nanopublications signed by a current admin, maintainer or member of the context space or of one of its sub-spaces (the spaces whose IRI extends it with a slash) are considered, with invalidated, superseded and example nanopublications skipped. The membership lookup is a federated sub-select sharing no variables with the rest of the query, so it runs once; without a context the gate is empty and nothing is returned." } ], "http://purl.org/dc/terms/license": [ { "@id": "http://www.apache.org/licenses/LICENSE-2.0" } ], "@type": [ "https://w3id.org/kpxl/grlc/grlc-query" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Get the more specific statements that a statement generalises" } ], "https://w3id.org/kpxl/grlc/endpoint": [ { "@id": "https://w3id.org/np/l/nanopub-query-1.1/repo/full" } ], "https://w3id.org/kpxl/grlc/sparql": [ { "@value": "prefix np: \nprefix npa: \nprefix npx: \nprefix gen: \nprefix hycl: \nprefix cito: \n\nselect ?statement ?statement_label ?kind ?project_multi_iri ?project_label_multi ?np ?np_label\nwhere {\n {\n select ?statement ?kind\n (group_concat(distinct str(?project); separator=\"\\n\") as ?project_multi_iri)\n (group_concat(distinct ?projectLabel; separator=\"\\n\") as ?project_label_multi)\n (sample(?dnp) as ?np)\n where {\n {\n select (group_concat(?mpk; separator=\" \") as ?memberPubkeys) where {\n service {\n select ?mpk where {\n values ?__context_multi_iri {}\n graph npa:graph { npa:hasCurrentSpaceState ?stateG . }\n graph ?stateG {\n ?ri a gen:RoleInstantiation ; npa:forSpace ?sp ; npa:forAgent ?agent ; npa:hasRoleType ?roleType .\n filter(?roleType in (gen:AdminRole, gen:MaintainerRole, gen:MemberRole))\n ?acct a npa:AccountState ; npa:agent ?agent ; npa:pubkey ?mpk .\n }\n # The context is the space itself or a resource it maintains; the space and its\n # sub-spaces (IRI extended with a slash) are matched in a filter rather than with\n # a zero-length property path, because when the optional context is absent an\n # unbound path subject scans the whole state graph and times out, while the\n # bound() guard short-circuits to an empty gate.\n filter(bound(?__context_multi_iri) && (\n ?sp = ?__context_multi_iri || strstarts(str(?sp), concat(str(?__context_multi_iri), \"/\"))\n || exists { graph ?stateG { ?__context_multi_iri npa:isMaintainedBy ?mb .\n filter(?sp = ?mb || strstarts(str(?sp), concat(str(?mb), \"/\"))) } }))\n }\n }\n }\n }\n graph npa:graph {\n ?gnp np:hasAssertion ?ga ; npa:hasValidSignatureForPublicKeyHash ?gpk .\n filter not exists { ?gInv npx:invalidates ?gnp ; npa:hasValidSignatureForPublicKeyHash ?gpk }\n filter not exists { ?gSup npx:supersedes ?gnp }\n filter not exists { ?gnp npx:hasNanopubType npx:ExampleNanopub }\n }\n filter(contains(?memberPubkeys, ?gpk))\n graph ?ga { ?_statement_iri hycl:hasMoreGeneralMeaningThan ?statement . }\n optional {\n graph npa:graph {\n ?dnp np:hasAssertion ?da ; npa:hasValidSignatureForPublicKeyHash ?dpk .\n filter not exists { ?dInv npx:invalidates ?dnp ; npa:hasValidSignatureForPublicKeyHash ?dpk }\n filter not exists { ?dSup npx:supersedes ?dnp }\n filter not exists { ?dnp npx:hasNanopubType npx:ExampleNanopub }\n }\n filter(contains(?memberPubkeys, ?dpk))\n graph ?da { ?statement a hycl:AIDA-Sentence . }\n }\n optional {\n graph npa:graph {\n ?rnp np:hasAssertion ?ra ; npa:hasValidSignatureForPublicKeyHash ?rpk .\n filter not exists { ?rInv npx:invalidates ?rnp ; npa:hasValidSignatureForPublicKeyHash ?rpk }\n filter not exists { ?rSup npx:supersedes ?rnp }\n }\n filter(contains(?memberPubkeys, ?rpk))\n graph ?ra { ?statement gen:isRelevantFor ?project . }\n bind(replace(str(?project), \"^.*/\", \"\") as ?projectLabel)\n }\n bind(exists { graph ?fa { ?statement cito:obtainsSupportFrom ?src } } as ?isFinding)\n bind(exists { graph ?ma { ?statement hycl:hasMoreGeneralMeaningThan ?sub } } as ?isGeneral)\n bind(if(?isFinding, \"finding\", if(?isGeneral, \"general statement\", \"statement\")) as ?kind)\n }\n group by ?statement ?kind\n }\n bind(replace(replace(replace(replace(replace(replace(replace(strafter(str(?statement), \"http://purl.org/aida/\"), \"[+]\", \" \"), \"%2C\", \",\"), \"%3A\", \":\"), \"%28\", \"(\"), \"%29\", \")\"), \"%2F\", \"/\"), \"%25\", \"%\") as ?statement_label)\n bind(\"^\" as ?np_label)\n}\norder by ?kind ?statement_label" } ] } ] } ]