http://purl.org/np/RAwLH3ce7NTN6AbeCW8F6ughUt0UwCGl5UQshx9QtIwWY
.trig | .trig.txt | .jelly | .jelly.txt
@prefix ns1: <http://purl.org/dc/terms/> . @prefix orcid: <https://orcid.org/> . @prefix this: <http://purl.org/np/RAwLH3ce7NTN6AbeCW8F6ughUt0UwCGl5UQshx9QtIwWY> . @prefix sub: <http://purl.org/np/RAwLH3ce7NTN6AbeCW8F6ughUt0UwCGl5UQshx9QtIwWY#> . @prefix bpmn: <http://dkm.fbk.eu/index.php/BPMN2_Ontology#> . @prefix np: <http://www.nanopub.org/nschema#> . @prefix npx: <http://purl.org/nanopub/x/> . @prefix pplan: <http://purl.org/net/p-plan#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix prov: <http://www.w3.org/ns/prov#> . sub:Head { this: a np:Nanopublication; np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubInfo . } sub:assertion { sub:a a "float", pplan:Variable; rdfs:label "a" . sub:b a "float", pplan:Variable; rdfs:label "b" . sub:mul-output1 a "float", pplan:Variable; rdfs:label "mul-output1" . sub:step a bpmn:ScriptTask, pplan:Step; ns1:description """@is_fairstep(label='Multiplication') def mul(a: float, b: float) -> float: \"\"\"Multiplying numbers.\"\"\" return a * b """; pplan:hasInputVar sub:a, sub:b; pplan:hasOutputVar sub:mul-output1; rdfs:label "Multiplication" . } sub:provenance { sub:assertion prov:generatedAtTime "2021-01-24T20:17:42.378282"^^xsd:dateTime . } sub:pubInfo { sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCoZmUKAHAF0CY2sKahOanR1V8wP62NOw3G0wcVLULWxqXB/gcW25bGPcA5RKoiuhT6dUbfcRXmwLknE29h6KWfKYLtNaqdrHbjSnNC65dNmNxCNp0i6ZLZRh51mxw9IPJHZrDqQ9bcLwm9d1G1fDKasA+h1vrF3Hv1YrQsF9aW1QIDAQAB"; npx:hasSignature "nD+VObcGpJGE/S6ZkbMcstgVBI3YDqU6OOWp8rsQ8c01SUtFvlB4vxujXK0OsoMTHxITpB+qubwMyVrjFCM7PRnX5fidMi9qcH7ZuAa37jjIpdRXdw7P0V3FwDqmF6q8aG+KrMvGPTKgMycVXirGmsEKIVzt/iO5U5FhCDvJdFA="; npx:hasSignatureTarget this: . this: npx:introduces sub:step; prov:generatedAtTime "2021-01-24T20:17:42.378282"^^xsd:dateTime; prov:wasAttributedTo orcid:0000-0000-0000-0000 . }