assertion
Full identifier: http://purl.org/np/RAIRpV_rKOXhvrxYPm-YCo7HeXZeg_8lSZaJrwpE1GRQ0#assertion
Searching for classes... 
Searching for instances...
Searching for templates...
Minted in Nanopublication
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#a
a
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
type
(this is a literal)
"float"
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#a
a
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
type
http://purl.org/net/p-plan#Variable
Variable
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#a
a
http://www.w3.org/2000/01/rdf-schema#label
label
(this is a literal)
"a"
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#b
b
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
type
(this is a literal)
"float"
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#b
b
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
type
http://purl.org/net/p-plan#Variable
Variable
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#b
b
http://www.w3.org/2000/01/rdf-schema#label
label
(this is a literal)
"b"
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#step
step
http://purl.org/dc/terms/description
description
(this is a literal)
"@is_fairstep(label='Subtraction')
def sub(a: float, b: float) -> float:
"""Subtracting numbers."""
return a - b
"
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#step
step
http://purl.org/net/p-plan#hasInputVar
hasInputVar
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#a
a
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#step
step
http://purl.org/net/p-plan#hasInputVar
hasInputVar
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#b
b
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#step
step
http://purl.org/net/p-plan#hasOutputVar
hasOutputVar
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#sub-output1
sub-output1
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#step
step
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
type
http://dkm.fbk.eu/index.php/BPMN2_Ontology#ScriptTask
ScriptTask
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#step
step
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
type
http://purl.org/net/p-plan#Step
Step
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#step
step
http://www.w3.org/2000/01/rdf-schema#label
label
(this is a literal)
"Subtraction"
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#sub-output1
sub-output1
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
type
(this is a literal)
"float"
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#sub-output1
sub-output1
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
type
http://purl.org/net/p-plan#Variable
Variable
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#sub-output1
sub-output1
http://www.w3.org/2000/01/rdf-schema#label
label
(this is a literal)
"sub-output1"
.
This is the identifier for the assertion of this nanopublication.
http://purl.org/np/RAIRpV_rKO...#assertion
The assertion above
http://www.w3.org/ns/prov#generatedAtTime
generatedAtTime
(this is a literal)
"2021-01-25T15:28:36.787317"
.
This is the identifier for this whole nanopublication.
http://purl.org/np/RAIRpV_rKO...
This nanopublication
the nanopublication consists of an introduction of the given resource
http://purl.org/nanopub/x/introduces
introduces
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#step
step
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#sig
sig
http://purl.org/nanopub/x/hasSignatureTarget
has as target
This is the identifier for this whole nanopublication.
http://purl.org/np/RAIRpV_rKO...
this nanopublication
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#sig
sig
http://purl.org/nanopub/x/hasAlgorithm
has the algorithm
(this is a literal)
"RSA"
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#sig
sig
http://purl.org/nanopub/x/hasPublicKey
has the public key
(this is a literal)
"MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB"
.
This is a local identifier minted within the nanopublication.
http://purl.org/np/RAIRpV_rKO...#sig
sig
http://purl.org/nanopub/x/hasSignature
has the signature
(this is a literal)
"F9iB9VM0XkLoz1JtEkhfeoVTxuj4HbTaljjz04eqe2Z5qLMTa+h4ACOoJ5M6VkdlxhadANo+rZYDr9Af1kysm2Q9MPzslXLTxONVy0MP5I1teFjWxSgBA8kV13C0pcTB+L6ZzXCoONovTNRrNaWdVgaN1fNjEf1/lNHwB0Vevbc="
.
This is the identifier for this whole nanopublication.
http://purl.org/np/RAIRpV_rKO...
this nanopublication
http://www.w3.org/ns/prov#generatedAtTime
generatedAtTime
(this is a literal)
"2021-01-25T15:28:36.787317"
.
This is the identifier for this whole nanopublication.
http://purl.org/np/RAIRpV_rKO...
this nanopublication
http://www.w3.org/ns/prov#wasAttributedTo
wasAttributedTo
https://orcid.org/0000-0002-1267-0234
Tobias Kuhn
.
References