Nanopublications

@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix this: <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw> .
@prefix bpmn: <https://www.omg.org/spec/BPMN/> .
@prefix dul: <http://ontologydesignpatterns.org/wiki/Ontology:DOLCE+DnS_Ultralite/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix p-plan: <http://purl.org/net/p-plan#> .
@prefix plex: <https://plex.org/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix npx: <http://purl.org/nanopub/x/> .

<http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#%23Head> {
  this: np:hasAssertion <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#%23assertion> ;
    np:hasProvenance <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#%23provenance> ;
    np:hasPublicationInfo <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#%23pubInfo> ;
    a np:Nanopublication .
}

<http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#%23assertion> {
  plex:add dul:precedes plex:mult .
  plex:int1 p-plan:isOutputVarOf plex:add ;
    a p-plan:Variable .
  plex:int2 a p-plan:Variable .
  plex:mult dc:description """@FairStep(fw)
def mult(int1, int2):
\"\"\"
Multiply two integers together (int1 and int2).
\"\"\"
result = int1 * int2
return result
""" ;
    p-plan:hasInputVar plex:int1 , plex:int2 ;
    a p-plan:Step , bpmn:scriptTask .
}

<http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#%23provenance> {
  <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#%23assertion> prov:generatedAtTime "2020-04-09T11:43:49.601182"^^xsd:date ;
    prov:wasAttributedTo <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#experimentScientist> ;
    prov:wasDerivedFrom <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#experiment> .
}

<http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#%23pubInfo> {
  <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#sig> npx:hasAlgorithm "RSA" ;
    npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCoZmUKAHAF0CY2sKahOanR1V8wP62NOw3G0wcVLULWxqXB/gcW25bGPcA5RKoiuhT6dUbfcRXmwLknE29h6KWfKYLtNaqdrHbjSnNC65dNmNxCNp0i6ZLZRh51mxw9IPJHZrDqQ9bcLwm9d1G1fDKasA+h1vrF3Hv1YrQsF9aW1QIDAQAB" ;
    npx:hasSignature "FgiCT8/AQhSNt012npGtBK2Q0WtnxLLcMyw79YEe3Ch6HYCsmRzSyle22cQA9J+hrTHtUHSkr/v/wfqlOo0jpvAdp5MziIqiN/VFdrV/Krc8mZDWxCXvgsPu8i4TfmiXktzfGHxyjo9HHenzHb5QYq3CFUWx525PWUTpz1ecp6o=" ;
    npx:hasSignatureTarget this: .
  this: prov:generatedAtTime "2020-04-09T11:43:49.601182"^^xsd:date ;
    prov:wasAttributedTo <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw#DrBob> .
}