Nanopublications

@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix ero-core: <http://w3id.org/ExperimentalResearchOntology/core#> .
@prefix fdoc: <https://w3id.org/fdoc/o/terms/> .
@prefix fdof: <https://w3id.org/fdof/ontology#> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix orcid: <https://orcid.org/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix qudt: <http://qudt.org/schema/qudt/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rfp: <http://w3id.org/RoBivaL/FDOProfile/> .
@prefix rfr-sep: <http://w3id.org/RoBivaL/FDORecord/Specification/ExperimentParameter/> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix sub: <https://w3id.org/np/RAT7nycDwVpjup3mwKKC-gLIRZmxSEOImP5A5vIyFwvvo/> .
@prefix this: <https://w3id.org/np/RAT7nycDwVpjup3mwKKC-gLIRZmxSEOImP5A5vIyFwvvo> .
@prefix unit: <http://qudt.org/vocab/unit/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

sub:Head {
  this: np:hasAssertion sub:assertion ;
    np:hasProvenance sub:provenance ;
    np:hasPublicationInfo sub:pubinfo ;
    a np:Nanopublication .
}

sub:assertion {
  rfp:travelTimeProfile dcterms:conformsTo rfp:FundamentalProfile ;
    a sh:NodeShape , fdoc:FdoProfile , fdof:FAIRDigitalObject ;
    rdfs:comment "travelTimeProfile is a maximally strict FDO profile. The only FDO record that conforms to travelTimeProfile is http://w3id.org/RoBivaL/FDORecord/Specification/ExperimentParameter/travelTime."@en ;
    rdfs:label "travelTimeProfile" ;
    sh:closed true ;
    sh:property sub:_n5c047940d9fa496c86c216755da4fae8b1 , sub:_n5c047940d9fa496c86c216755da4fae8b11 , sub:_n5c047940d9fa496c86c216755da4fae8b12 , sub:_n5c047940d9fa496c86c216755da4fae8b13 , sub:_n5c047940d9fa496c86c216755da4fae8b14 , sub:_n5c047940d9fa496c86c216755da4fae8b21 , sub:_n5c047940d9fa496c86c216755da4fae8b3 , sub:_n5c047940d9fa496c86c216755da4fae8b5 , sub:_n5c047940d9fa496c86c216755da4fae8b7 , sub:_n5c047940d9fa496c86c216755da4fae8b9 ;
    sh:targetNode rfr-sep:travelTime ;
    fdof:isMaterializedBy rfp:travelTimeProfile.ttl .
  sub:_n5c047940d9fa496c86c216755da4fae8b1 sh:path rdf:type ;
    sh:qualifiedMaxCount 1 ;
    sh:qualifiedMinCount 1 ;
    sh:qualifiedValueShape sub:_n5c047940d9fa496c86c216755da4fae8b2 .
  sub:_n5c047940d9fa496c86c216755da4fae8b10 sh:hasValue rfp:travelTimeProfile .
  sub:_n5c047940d9fa496c86c216755da4fae8b11 sh:hasValue rfr-sep:travelTime.ttl ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:path fdof:isMaterializedBy .
  sub:_n5c047940d9fa496c86c216755da4fae8b12 sh:hasValue "Travel time" ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:path rdfs:label .
  sub:_n5c047940d9fa496c86c216755da4fae8b13 sh:hasValue "The time required for a robot to travel from start to end of the track, measured in seconds." ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:path rdfs:comment .
  sub:_n5c047940d9fa496c86c216755da4fae8b14 sh:path rdfs:range ;
    sh:qualifiedMaxCount 1 ;
    sh:qualifiedMinCount 1 ;
    sh:qualifiedValueShape sub:_n5c047940d9fa496c86c216755da4fae8b15 .
  sub:_n5c047940d9fa496c86c216755da4fae8b15 a sh:NodeShape ;
    sh:closed true ;
    sh:property sub:_n5c047940d9fa496c86c216755da4fae8b16 , sub:_n5c047940d9fa496c86c216755da4fae8b17 , sub:_n5c047940d9fa496c86c216755da4fae8b18 .
  sub:_n5c047940d9fa496c86c216755da4fae8b16 sh:hasValue rdfs:Datatype ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:path rdf:type .
  sub:_n5c047940d9fa496c86c216755da4fae8b17 sh:hasValue xsd:float ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:path owl:onDatatype .
  sub:_n5c047940d9fa496c86c216755da4fae8b18 sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:node sub:_n5c047940d9fa496c86c216755da4fae8b19 ;
    sh:path owl:withRestrictions .
  sub:_n5c047940d9fa496c86c216755da4fae8b19 a sh:NodeShape ;
    sh:property sub:_n5c047940d9fa496c86c216755da4fae8b20 .
  sub:_n5c047940d9fa496c86c216755da4fae8b2 sh:hasValue fdof:FAIRDigitalObject .
  sub:_n5c047940d9fa496c86c216755da4fae8b20 sh:hasValue 0.0 ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:path xsd:minInclusive .
  sub:_n5c047940d9fa496c86c216755da4fae8b21 sh:hasValue unit:SEC ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:path qudt:unit .
  sub:_n5c047940d9fa496c86c216755da4fae8b3 sh:path rdf:type ;
    sh:qualifiedMaxCount 1 ;
    sh:qualifiedMinCount 1 ;
    sh:qualifiedValueShape sub:_n5c047940d9fa496c86c216755da4fae8b4 .
  sub:_n5c047940d9fa496c86c216755da4fae8b4 sh:hasValue ero-core:ExperimentParameter .
  sub:_n5c047940d9fa496c86c216755da4fae8b5 sh:path rdf:type ;
    sh:qualifiedMaxCount 1 ;
    sh:qualifiedMinCount 1 ;
    sh:qualifiedValueShape sub:_n5c047940d9fa496c86c216755da4fae8b6 .
  sub:_n5c047940d9fa496c86c216755da4fae8b6 sh:hasValue owl:DatatypeProperty .
  sub:_n5c047940d9fa496c86c216755da4fae8b7 sh:path dcterms:conformsTo ;
    sh:qualifiedMaxCount 1 ;
    sh:qualifiedMinCount 1 ;
    sh:qualifiedValueShape sub:_n5c047940d9fa496c86c216755da4fae8b8 .
  sub:_n5c047940d9fa496c86c216755da4fae8b8 sh:hasValue rfp:TrivialProfile .
  sub:_n5c047940d9fa496c86c216755da4fae8b9 sh:path dcterms:conformsTo ;
    sh:qualifiedMaxCount 1 ;
    sh:qualifiedMinCount 1 ;
    sh:qualifiedValueShape sub:_n5c047940d9fa496c86c216755da4fae8b10 .
}

sub:provenance {
sub:assertion prov:generatedAtTime "2025-11-11T10:03:20.483801"^^xsd:dateTime ;
prov:wasAttributedTo orcid:0009-0002-7114-0687 .
}

sub:pubinfo {
  this: npx:introduces rfp:travelTimeProfile ;
    prov:generatedAtTime "2025-11-11T10:03:20.483801"^^xsd:dateTime ;
    prov:wasAttributedTo orcid:0009-0002-7114-0687 .
  sub:sig npx:hasAlgorithm "RSA" ;
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArZ9Y//+C7th8DsJGdCn1YkpsuuS9ktEB1AnDb17d9nnxcmAGZSj5ibp10AO6gAwO5O0/qArZyYE5AeBRqXwFYhlbj9AfBqroAyNEqImL6uhk8MM3JVCzUbG1c7ulyqE7ZLQ02NHOeKGebLKG15DRAwlBeePet3j51BEt1l+KN3ZDsdWcJ1IdiXzddlBq0EL92/uREE9/9hXgi3DUZi9ZtGCU+lvYBeyMm1I6t9ajAa+9Ouwj6U8igLAvEPT81tO8Wa8tZUxWqezgLBzXk0jUxyibtIRRywGSPlzrVy69suoAEEGWaFkGLKa833/qCDLWN1lJwLq5MXbFpahjJum3xQIDAQAB" ;
    npx:hasSignature "ah5/CBoVPhbhUL3OGl4fy3CurJr/96XBLExDP5tbvyiuzswyr5V3kSa+X//OmOqqzgw63KrBAO+WkZu8OmcBE4maup9IxECR3ttbdUXV3e5b+1cbewpBVycwrYo72ecuHwOIhtBYGfD0Y8wkvSj+YzFfhhZ/M6mguahb8a8t/H25RoLc7zxSHjKA60Og5B4JoPWkKqBivdhnxsv2VL6DxSyVuSSuAldzqxtjNkvFRDN0/lfCJJZaP8qFyLcXDu33If2PRAit6/7XbCMm7k3/ABxat+DlBv+IMptG4tc7oLyy+ob2VpTzyMOTALD7vX6TdNCUpMWwU6LnAyevsosb1Q==" ;
    npx:hasSignatureTarget this: ;
    npx:signedBy orcid:0009-0002-7114-0687 .
}