@prefix dcterms: <http://purl.org/dc/terms/> .
@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 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 rfr-shw: <http://w3id.org/RoBivaL/FDORecord/Specification/Hardware/> .
@prefix sosa: <http://www.w3.org/ns/sosa/> .
@prefix ssn: <http://www.w3.org/ns/ssn/> .
@prefix sub: <https://w3id.org/np/RACFq4l-UbwqIoFfMdIdgucqno5D_Qx5VIAhj226Q24QA/> .
@prefix this: <https://w3id.org/np/RACFq4l-UbwqIoFfMdIdgucqno5D_Qx5VIAhj226Q24QA> .
@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 {
  rfr-sep:AvailableRobot dcterms:conformsTo rfp:TrivialProfile;
    a owl:Class;
    rdfs:comment "The class of mobile robots available for experiments in the RoBivaL project.";
    rdfs:label "Available Robot";
    rdfs:subClassOf sosa:FeatureOfInterest, sosa:Platform, ssn:System;
    owl:equivalentClass sub:_n5126143893854177af05b9c91eef1fecb1 .
  
  sub:_n5126143893854177af05b9c91eef1fecb1 a owl:Class;
    owl:oneOf rfr-shw:Artemis, rfr-shw:Bonirob, rfr-shw:NaioOz, rfr-shw:Sherpatt .
}

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

sub:pubinfo {
  this: prov:generatedAtTime "2025-09-02T12:19:54.050492"^^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 "DAt4BT55KprmvWYx5BPLpVVPN+UqMb7ZzlaNrss/iexVm0NJmlMzrqsjaDyab86pIxZ1hqQP+G8W45RbKGvkhKEB6V+gFbKGMwNfZ5UXxsVvUp/1WLi+DGTUcWO0I5VMplAbD5++UbuY9ttFKLYiInRQWcfAGZXeRTCT3m0ffHWp4XTuc9zJpw6be52Y8GZp9eD4USTrS37bGBJP0LsuguXI7LcR2cKhgfvpyxvoQD26ixXYNTakKU5ISKqwz+fglPIKx6+iTamf0S9TgOEsUsgmNWkeZ0doJ/4P9FJ6TMXJ2nIWuElxfBJPv/MLbXvMMagE1dJy5zYWYqq1gz57Jw==";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0009-0002-7114-0687 .
}