@prefix this: <
http://purl.org/np/RAeSbbM9iC2LmllQpqTEGNe6bHssBVrGISQqRHNWCLhpM
> .
@prefix sub: <
http://purl.org/np/RAeSbbM9iC2LmllQpqTEGNe6bHssBVrGISQqRHNWCLhpM#
> .
@prefix np: <
http://www.nanopub.org/nschema#
> .
@prefix rdf: <
http://www.w3.org/1999/02/22-rdf-syntax-ns#
> .
@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:
np:hasAssertion
sub:assertion
;
np:hasProvenance
sub:provenance
;
np:hasPublicationInfo
sub:pubInfo
;
a
np:Nanopublication
.
}
sub:assertion
{
sub:a
pplan:correspondsToVariable
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#a
> ;
a
pplan:Entity
;
rdf:value
1 ;
rdfs:label
"a" .
sub:b
pplan:correspondsToVariable
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#b
> ;
a
pplan:Entity
;
rdf:value
4 ;
rdfs:label
"b" .
sub:out1
pplan:correspondsToVariable
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#out1
> ;
a
pplan:Entity
;
rdf:value
-3 ;
rdfs:label
"out1" .
sub:retroprov
pplan:correspondsToStep
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#step
> ;
a
pplan:Activity
;
prov:endedAtTime
"2021-03-05T11:34:07.387905"^^
xsd:dateTime
;
prov:startedAtTime
"2021-03-05T11:34:07.387899"^^
xsd:dateTime
;
prov:used
sub:a
,
sub:b
,
sub:out1
.
}
sub:provenance
{
sub:a
pplan:correspondsToVariable
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#a
> ;
a
pplan:Entity
;
rdf:value
1 ;
rdfs:label
"a" .
sub:assertion
prov:generatedAtTime
"2021-03-05T11:34:08.019297"^^
xsd:dateTime
.
sub:b
pplan:correspondsToVariable
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#b
> ;
a
pplan:Entity
;
rdf:value
4 ;
rdfs:label
"b" .
sub:out1
pplan:correspondsToVariable
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#out1
> ;
a
pplan:Entity
;
rdf:value
-3 ;
rdfs:label
"out1" .
sub:retroprov
pplan:correspondsToStep
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#step
> ;
a
pplan:Activity
;
prov:endedAtTime
"2021-03-05T11:34:07.387905"^^
xsd:dateTime
;
prov:startedAtTime
"2021-03-05T11:34:07.387899"^^
xsd:dateTime
;
prov:used
sub:a
,
sub:b
,
sub:out1
.
}
sub:pubInfo
{
sub:a
pplan:correspondsToVariable
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#a
> ;
a
pplan:Entity
;
rdf:value
1 ;
rdfs:label
"a" .
sub:b
pplan:correspondsToVariable
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#b
> ;
a
pplan:Entity
;
rdf:value
4 ;
rdfs:label
"b" .
sub:out1
pplan:correspondsToVariable
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#out1
> ;
a
pplan:Entity
;
rdf:value
-3 ;
rdfs:label
"out1" .
sub:retroprov
pplan:correspondsToStep
<
http://purl.org/np/RAkyOg7T1APRu5JDjaHs-tvV4MjBqiIAFAAFIs0ZL5uoc#step
> ;
a
pplan:Activity
;
prov:endedAtTime
"2021-03-05T11:34:07.387905"^^
xsd:dateTime
;
prov:startedAtTime
"2021-03-05T11:34:07.387899"^^
xsd:dateTime
;
prov:used
sub:a
,
sub:b
,
sub:out1
.
sub:sig
npx:hasAlgorithm
"RSA" ;
npx:hasPublicKey
"MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCoZmUKAHAF0CY2sKahOanR1V8wP62NOw3G0wcVLULWxqXB/gcW25bGPcA5RKoiuhT6dUbfcRXmwLknE29h6KWfKYLtNaqdrHbjSnNC65dNmNxCNp0i6ZLZRh51mxw9IPJHZrDqQ9bcLwm9d1G1fDKasA+h1vrF3Hv1YrQsF9aW1QIDAQAB" ;
npx:hasSignature
"Nz0VadW/pvhvOWcCOcv8kWQM0ujbFellC4pojO51iUmxe123VPs9jT7ngPKRMMc1xEpKsPly7KV4LKL5E7Ip8pWZHVpPLrlFQi4q7ZJyxGRXZB3MYMWB0oJJTTbjOPSLmQw2Ouz2iLa3FU2mjq81nXWvpwrZ9Hzwke5/zowqJO8=" ;
npx:hasSignatureTarget
this:
.
this:
npx:introduces
sub:retroprov
;
prov:generatedAtTime
"2021-03-05T11:34:08.019297"^^
xsd:dateTime
;
prov:wasAttributedTo
<
https://orcid.org/0000-0000-0000-0000
> .
}