@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/RAt5wpLmz6aG0AFbI14Wgn5pxiQnWqUuDRdqTxL8Mc1pw/> .
@prefix this: <https://w3id.org/np/RAt5wpLmz6aG0AFbI14Wgn5pxiQnWqUuDRdqTxL8Mc1pw> .
@prefix unit: <http://qudt.org/vocab/unit/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://w3id.org/np/RAt5wpLmz6aG0AFbI14Wgn5pxiQnWqUuDRdqTxL8Mc1pw> a np:Nanopublication;
  np:hasAssertion sub:assertion;
  np:hasProvenance sub:provenance;
  np:hasPublicationInfo sub:pubinfo;
  prov:generatedAtTime "2025-09-02T12:11:11.369796"^^xsd:dateTime;
  prov:wasAttributedTo orcid:0009-0002-7114-0687 .

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;
  sh:property sub:_n08a8430569cc40d0988ebefc1b1ea648b1, sub:_n08a8430569cc40d0988ebefc1b1ea648b10,
    sub:_n08a8430569cc40d0988ebefc1b1ea648b11, sub:_n08a8430569cc40d0988ebefc1b1ea648b18,
    sub:_n08a8430569cc40d0988ebefc1b1ea648b4, sub:_n08a8430569cc40d0988ebefc1b1ea648b6,
    sub:_n08a8430569cc40d0988ebefc1b1ea648b8, sub:_n08a8430569cc40d0988ebefc1b1ea648b9;
  sh:targetNode rfr-sep:travelTime;
  fdof:isMaterializedBy rfp:travelTimeProfile.ttl .

sub:_n08a8430569cc40d0988ebefc1b1ea648b1 sh:in sub:_n08a8430569cc40d0988ebefc1b1ea648b2;
  sh:maxCount 2;
  sh:minCount 2;
  sh:path rdf:type .

sub:_n08a8430569cc40d0988ebefc1b1ea648b10 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:_n08a8430569cc40d0988ebefc1b1ea648b11 sh:path rdfs:range;
  sh:qualifiedMaxCount 1;
  sh:qualifiedMinCount 1;
  sh:qualifiedValueShape sub:_n08a8430569cc40d0988ebefc1b1ea648b12 .

sub:_n08a8430569cc40d0988ebefc1b1ea648b12 a sh:NodeShape;
  sh:closed true;
  sh:property sub:_n08a8430569cc40d0988ebefc1b1ea648b13, sub:_n08a8430569cc40d0988ebefc1b1ea648b14,
    sub:_n08a8430569cc40d0988ebefc1b1ea648b15 .

sub:_n08a8430569cc40d0988ebefc1b1ea648b13 sh:hasValue rdfs:Datatype;
  sh:maxCount 1;
  sh:minCount 1;
  sh:path rdf:type .

sub:_n08a8430569cc40d0988ebefc1b1ea648b14 sh:hasValue "xsd:float";
  sh:maxCount 1;
  sh:minCount 1;
  sh:path owl:onDatatype .

sub:_n08a8430569cc40d0988ebefc1b1ea648b15 sh:maxCount 1;
  sh:minCount 1;
  sh:node sub:_n08a8430569cc40d0988ebefc1b1ea648b16;
  sh:path owl:withRestrictions .

sub:_n08a8430569cc40d0988ebefc1b1ea648b16 a sh:NodeShape;
  sh:property sub:_n08a8430569cc40d0988ebefc1b1ea648b17 .

sub:_n08a8430569cc40d0988ebefc1b1ea648b17 sh:hasValue 0.0;
  sh:maxCount 1;
  sh:minCount 1;
  sh:path xsd:minInclusive .

sub:_n08a8430569cc40d0988ebefc1b1ea648b18 sh:hasValue unit:SEC;
  sh:maxCount 1;
  sh:minCount 1;
  sh:path qudt:unit .

sub:_n08a8430569cc40d0988ebefc1b1ea648b2 rdf:first ero-core:ExperimentParameter;
  rdf:rest sub:_n08a8430569cc40d0988ebefc1b1ea648b3 .

sub:_n08a8430569cc40d0988ebefc1b1ea648b3 rdf:first owl:DatatypeProperty;
  rdf:rest rdf:nil .

sub:_n08a8430569cc40d0988ebefc1b1ea648b4 sh:path dcterms:conformsTo;
  sh:qualifiedMaxCount 1;
  sh:qualifiedMinCount 1;
  sh:qualifiedValueShape sub:_n08a8430569cc40d0988ebefc1b1ea648b5 .

sub:_n08a8430569cc40d0988ebefc1b1ea648b5 sh:hasValue rfp:TrivialProfile .

sub:_n08a8430569cc40d0988ebefc1b1ea648b6 sh:path dcterms:conformsTo;
  sh:qualifiedMaxCount 1;
  sh:qualifiedMinCount 1;
  sh:qualifiedValueShape sub:_n08a8430569cc40d0988ebefc1b1ea648b7 .

sub:_n08a8430569cc40d0988ebefc1b1ea648b7 sh:hasValue rfp:travelTimeProfile .

sub:_n08a8430569cc40d0988ebefc1b1ea648b8 sh:hasValue rfr-sep:travelTime.ttl;
  sh:maxCount 1;
  sh:minCount 1;
  sh:path fdof:isMaterializedBy .

sub:_n08a8430569cc40d0988ebefc1b1ea648b9 sh:hasValue "Travel time";
  sh:maxCount 1;
  sh:minCount 1;
  sh:path rdfs:label .

sub:assertion prov:generatedAtTime "2025-09-02T12:11:11.369796"^^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 "EIA0eZAvDy3nZXZjfvqe1rphjdwiU+0ZunYvDISkepWO+QO7PpyZXiQmh1P2YvQ3EOo8HK2vKCJB7t4PWIagdlCR3lI4SIaT4Ci/CknmN9ddKX1hp1ZyKr9ljmA229Bflf/Usf79+IqCxoYKNpxwW8J1KCa6Q82+nKrjGD8Okorz9pi5ymlLHRbWIet8A05wJjShogTjcfR0Js4EXQZWukYSJPDIEa5nVszmeV6KfDyA6w19dH/+iiUZse0MgJDOnM+42FvdNAqekyZ1HgoZ0qHCVEjg2vrYE7XDQJvzB1dizvXQl9z1Z8hogqhTiSjMGhZgYICPk5BpDotPgTNFLg==";
  npx:hasSignatureTarget <https://w3id.org/np/RAt5wpLmz6aG0AFbI14Wgn5pxiQnWqUuDRdqTxL8Mc1pw>;
  npx:signedBy orcid:0009-0002-7114-0687 .