@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/RAr7TyVICug9LDwDJ7WHRVhrWv1q6trSOzpr3EPBcl1rE/> .
@prefix this: <https://w3id.org/np/RAr7TyVICug9LDwDJ7WHRVhrWv1q6trSOzpr3EPBcl1rE> .
@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 {
  rfr-sep:AvailableRobot a owl:Class;
    dcterms:conformsTo rfp:TrivialProfile;
    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:_nf42747debb2d43f7a9d8378e5074fbb8b1 .
  
  sub:_nf42747debb2d43f7a9d8378e5074fbb8b1 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:46.985268"^^xsd:dateTime;
    prov:wasAttributedTo orcid:0009-0002-7114-0687 .
}

sub:pubinfo {
  this: prov:generatedAtTime "2025-09-02T12:19:46.985268"^^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 "p6y9bZMNd9VrJ1nNdOCnAg8baabBO8WTCk52p7dprT4O5cC9L9FMyzEaOtD+0Y/xWMTeL3l0sA57+UNr89YW+9s8dZfi60O2wRbrvDP2pspDOF4flzDi7aOTcvvFva8obexrfVnf60b9Di6qlsbgnhFOfR4mz221pd7OF9r0/zqK835h2PHeODYw3WqmX9RajnU9f6YeL05Sn1cWWgO1LfzWhgbhQ3BmDbTxrHsb7ZSGi8ptmtAZpRyfY87P+b+DShRmvmoe2mi4xFxnQ8hIGwtBRjv/nauRxuPzOw+O1PbfCPFm7hwuAOWq7fpE79s4+6kA1QPb1YgJJErdT746Vw==";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0009-0002-7114-0687 .
}