http://purl.org/np/RANbVXFYtpTO8eaHlXozvKTWLxViUormqDQGV1WItOCSY
.trig | .trig.txt | .jelly | .jelly.txt
@prefix ns2: <http://purl.org/dc/terms/> . @prefix orcid: <https://orcid.org/> . @prefix this: <http://purl.org/np/RANbVXFYtpTO8eaHlXozvKTWLxViUormqDQGV1WItOCSY> . @prefix sub: <http://purl.org/np/RANbVXFYtpTO8eaHlXozvKTWLxViUormqDQGV1WItOCSY#> . @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; ns2: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:54:27.532273"^^xsd:dateTime . } sub:pubInfo { sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCoZmUKAHAF0CY2sKahOanR1V8wP62NOw3G0wcVLULWxqXB/gcW25bGPcA5RKoiuhT6dUbfcRXmwLknE29h6KWfKYLtNaqdrHbjSnNC65dNmNxCNp0i6ZLZRh51mxw9IPJHZrDqQ9bcLwm9d1G1fDKasA+h1vrF3Hv1YrQsF9aW1QIDAQAB"; npx:hasSignature "n8rjKdTmWTHAt4IGXQDqhOi19LaQF/b08vEAaHs8r6Qq9x0GDUoeBhvuC8N6Jav5dEAp0V/jGI3sQKYcr6HX1StZPX/bwtWE+M3GN1EHCU9gnPdfBP86gdjTIgb9U43dvE/wUxJ57/Rk/eRFmBcVNDfrstaXsHHeTBkbRXzDONI="; npx:hasSignatureTarget this: . this: npx:introduces sub:step; prov:generatedAtTime "2021-01-24T20:54:27.532273"^^xsd:dateTime; prov:wasAttributedTo orcid:0000-0000-0000-0000 . }