Nanopublication

< Home

ID

https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE

Formats

.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt

Content

@prefix this: <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE> .
@prefix sub: <https://w3id.org/np/RAzdCCHvEiBAvhpEpAWhKhr83OfFk2k7kJa6rKBIl3gLE/> .
@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 {
  <http://purl.org/aida/High-level+scientific+claims+from+research+articles+can+be+accurately+formalized+with+logic-based+semantics+by+instantiating+the+super-pattern.>
    a <http://purl.org/petapico/o/hycl#AIDA-Sentence>;
    <http://schema.org/about> <http://www.wikidata.org/entity/Q122922979>, <http://www.wikidata.org/entity/Q3478658>;
    prov:wasDerivedFrom <https://doi.org/10.1145/3460210.3493561> .
}

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

sub:pubinfo {
  <http://www.wikidata.org/entity/Q122922979> rdfs:label "formal semantics" .
  
  <http://www.wikidata.org/entity/Q3478658> rdfs:label "knowledge representation and reasoning" .
  
  orcid:0000-0002-1267-0234 foaf:name "Tobias Kuhn" .
  
  this: dct:created "2026-07-27T17:03:21.767+02:00"^^xsd:dateTime;
    dct:creator orcid:0000-0002-1267-0234;
    dct:license <https://creativecommons.org/publicdomain/zero/1.0/>;
    npx:hasNanopubType <http://purl.org/petapico/o/hycl#AIDA-Sentence>;
    npx:wasCreatedAt <http://localhost:37373/>;
    rdfs:label "AIDA sentence: High-level scientific claims from research articles can be accurately formalized with logic-based...";
    nt:wasCreatedFromProvenanceTemplate <https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU>;
    nt:wasCreatedFromPubinfoTemplate <https://w3id.org/np/RACCkk3WshLM9-jCDhBF89VLyZE-uCfFl88piclZSySg4>,
      <https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8>, <https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI>;
    nt:wasCreatedFromTemplate <https://w3id.org/np/RAGBUfr_kk4LK7YgooYNlCuGDDn0sWnpu9FP5ezQhqN7E> .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB";
    npx:hasSignature "cCIpRvfiEuNpz1POTSER6gwvzjZ1jsBkATMqCx5SwTFfCePJXJlAYOA1aFAOPbblPxurarUYW6sgEG/9KnvOdUkE2gd/ZsZq5PZig0yF1OHR2SfgdafaNd7jy4auoyYphKD66ig5Oerc9Z0GmBlTJjm9u2PjFJyL+V6uy3qV+bM=";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0000-0002-1267-0234 .
}