@prefix this: . @prefix sub: . @prefix np: . @prefix dct: . @prefix rdf: . @prefix nt: . @prefix xsd: . @prefix rdfs: . @prefix orcid: . @prefix prov: . @prefix npx: . sub:Head { this: np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubinfo; a np:Nanopublication . } sub:assertion { sub:activity a nt:LocalResource; rdfs:label "Formalization-Activity" . sub:assertion a nt:ProvenanceTemplate; rdfs:label "Derived from a formalization activity"; nt:hasStatement sub:st01, sub:st02, sub:st03 . sub:source a nt:UriPlaceholder; rdfs:label "URI of the source used by this formalization activity" . sub:st01 rdf:object sub:activity; rdf:predicate prov:wasGeneratedBy; rdf:subject nt:ASSERTION . sub:st02 rdf:object ; rdf:predicate rdf:type; rdf:subject sub:activity . sub:st03 rdf:object sub:source; rdf:predicate prov:used; rdf:subject sub:activity . rdf:type rdfs:label "is a" . prov:used rdfs:label "used" . prov:wasGeneratedBy rdfs:label "was generated by" . rdfs:label "formalization activity" . } sub:provenance { sub:assertion prov:wasAttributedTo orcid:0000-0002-1267-0234 . } sub:pubinfo { sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB"; npx:hasSignature "aRuEKW6RbpOVxODVPooSekFD7IpGi3QDBW2klwZwCrCN/vhkUgPeDMMjEakQ6dAFOlNvStx4mn6DaZUKxRMsj9vnMz+odXRoTnml+Ur4xiyeEa5X2883nxegCkioMy3UoD+bExS0itzZ5DXC3m2WKYPm+oCL3stSB6vLtot7agg="; npx:hasSignatureTarget this: . this: dct:created "2021-05-18T10:47:29.470+02:00"^^xsd:dateTime; dct:creator orcid:0000-0002-1267-0234; nt:wasCreatedFromProvenanceTemplate ; nt:wasCreatedFromPubinfoTemplate ; nt:wasCreatedFromTemplate . }