@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix ero-core: <http://w3id.org/ExperimentalResearchOntology/core#> .
@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/RA57lmFpF1Q5StoaqAxQmdRy6IKojdRhS81ohc8tTUkF8/> .
@prefix this: <https://w3id.org/np/RA57lmFpF1Q5StoaqAxQmdRy6IKojdRhS81ohc8tTUkF8> .
@prefix unit: <http://qudt.org/vocab/unit/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

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

sub:assertion {
  rfp:travelTimeProfile a sh:NodeShape;
    dcterms:conformsTo rfp:FundamentalProfile;
    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"^^xsd:boolean;
    sh:property sub:_n61e200bd1bad47279340db1d7ed97d28b1, sub:_n61e200bd1bad47279340db1d7ed97d28b10,
      sub:_n61e200bd1bad47279340db1d7ed97d28b11, sub:_n61e200bd1bad47279340db1d7ed97d28b18,
      sub:_n61e200bd1bad47279340db1d7ed97d28b4, sub:_n61e200bd1bad47279340db1d7ed97d28b6,
      sub:_n61e200bd1bad47279340db1d7ed97d28b8, sub:_n61e200bd1bad47279340db1d7ed97d28b9;
    sh:targetNode rfr-sep:travelTime;
    fdof:isMaterializedBy rfp:travelTimeProfile.ttl .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b1 sh:in sub:_n61e200bd1bad47279340db1d7ed97d28b2;
    sh:maxCount "2"^^xsd:integer;
    sh:minCount "2"^^xsd:integer;
    sh:path rdf:type .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b10 sh:hasValue "The time required for a robot to travel from start to end of the track, measured in seconds.";
    sh:maxCount "1"^^xsd:integer;
    sh:minCount "1"^^xsd:integer;
    sh:path rdfs:comment .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b11 sh:path rdfs:range;
    sh:qualifiedMaxCount "1"^^xsd:integer;
    sh:qualifiedMinCount "1"^^xsd:integer;
    sh:qualifiedValueShape sub:_n61e200bd1bad47279340db1d7ed97d28b12 .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b12 a sh:NodeShape;
    sh:closed "true"^^xsd:boolean;
    sh:property sub:_n61e200bd1bad47279340db1d7ed97d28b13, sub:_n61e200bd1bad47279340db1d7ed97d28b14,
      sub:_n61e200bd1bad47279340db1d7ed97d28b15 .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b13 sh:hasValue rdfs:Datatype;
    sh:maxCount "1"^^xsd:integer;
    sh:minCount "1"^^xsd:integer;
    sh:path rdf:type .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b14 sh:hasValue "xsd:float";
    sh:maxCount "1"^^xsd:integer;
    sh:minCount "1"^^xsd:integer;
    sh:path owl:onDatatype .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b15 sh:maxCount "1"^^xsd:integer;
    sh:minCount "1"^^xsd:integer;
    sh:node sub:_n61e200bd1bad47279340db1d7ed97d28b16;
    sh:path owl:withRestrictions .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b16 a sh:NodeShape;
    sh:property sub:_n61e200bd1bad47279340db1d7ed97d28b17 .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b17 sh:hasValue "0.0"^^xsd:decimal;
    sh:maxCount "1"^^xsd:integer;
    sh:minCount "1"^^xsd:integer;
    sh:path xsd:minInclusive .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b18 sh:hasValue unit:SEC;
    sh:maxCount "1"^^xsd:integer;
    sh:minCount "1"^^xsd:integer;
    sh:path qudt:unit .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b2 rdf:first ero-core:ExperimentParameter;
    rdf:rest sub:_n61e200bd1bad47279340db1d7ed97d28b3 .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b3 rdf:first owl:DatatypeProperty;
    rdf:rest rdf:nil .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b4 sh:path dcterms:conformsTo;
    sh:qualifiedMaxCount "1"^^xsd:integer;
    sh:qualifiedMinCount "1"^^xsd:integer;
    sh:qualifiedValueShape sub:_n61e200bd1bad47279340db1d7ed97d28b5 .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b5 sh:hasValue rfp:TrivialProfile .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b6 sh:path dcterms:conformsTo;
    sh:qualifiedMaxCount "1"^^xsd:integer;
    sh:qualifiedMinCount "1"^^xsd:integer;
    sh:qualifiedValueShape sub:_n61e200bd1bad47279340db1d7ed97d28b7 .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b7 sh:hasValue rfp:travelTimeProfile .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b8 sh:hasValue rfr-sep:travelTime.ttl;
    sh:maxCount "1"^^xsd:integer;
    sh:minCount "1"^^xsd:integer;
    sh:path fdof:isMaterializedBy .
  
  sub:_n61e200bd1bad47279340db1d7ed97d28b9 sh:hasValue "Travel time";
    sh:maxCount "1"^^xsd:integer;
    sh:minCount "1"^^xsd:integer;
    sh:path rdfs:label .
}

sub:provenance {
  sub:assertion prov:generatedAtTime "2025-09-02T12:11:04.637272"^^xsd:dateTime;
    prov:wasAttributedTo orcid:0009-0002-7114-0687 .
}

sub:pubinfo {
  this: prov:generatedAtTime "2025-09-02T12:11:04.637272"^^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 "llZu2syB/C8fPvA8dKKyFFgy0UMw3NvjIVYCj0XPYk4TsYphv3L/4QCA76UVCrIjqEabnw0f5p/BVlnWlqn2d69lGQyPvMjApETKuncctX6GPuRRfz0kADufSnuCy1XHH+J+5rSykYIxD+212Trl9/0A2R0JVxEbbC3NZZuJhqFgmR3Dd8hL0P5OJ3N+rKSP+okUJZpYsZUuP4sM2jYy98YLwg6Yc44RDF884NiB+Mar9/nP4D0GTRImeBYWz0pilWVQWMNQwZJOjLnfgcTl4ONkEUfDgL51zMM8xZDKuBcdGFUrSMSL/WGyy8bDRKhnFLdh8pv/cz/oMBwu25DCJA==";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0009-0002-7114-0687 .
}