@prefix dcterms: <http://purl.org/dc/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 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/RAkAVNkQCmqacNk-qJhhynHu24mN85U70DyIT8AZY-A2g/> .
@prefix this: <https://w3id.org/np/RAkAVNkQCmqacNk-qJhhynHu24mN85U70DyIT8AZY-A2g> .
@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, fdof:FAIRDigitalObject;
    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:_n9cab9bc859534928b6b594dbc32b2876b1 .
  
  sub:_n9cab9bc859534928b6b594dbc32b2876b1 a owl:Class;
    owl:oneOf rfr-shw:Artemis, rfr-shw:Bonirob, rfr-shw:NaioOz, rfr-shw:Sherpatt .
}

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

sub:pubinfo {
  this: npx:introduces rfr-sep:AvailableRobot;
    prov:generatedAtTime "2025-11-11T10:16:53.332726"^^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 "q9Jrdn+Yb1JdEK8J33vyZS57h5hV6Ok7UfnspHsUubPJl9tC37xikNnzyTTzhkK2gC+g3vaxNS0TqqjK/0m/3h7B8TxEa1ealYPpjiuNmVWgxpGl1FYijTdgthkKZKckSYBSZNRGug60A+u6wqZ09VCSdYdWjCLaAAnlaoVbitmCvmfHXX+lcsV8Rlg0fLZrX8jMIVIORujl7suxDAtVJydlf2CdxVltZh3IzOrOSUqvm55CGc45xr37wXk72UiYZ7XG3IE4JbWJn2e88zFUlN2RCLqoeM67J9b3/Dv7i/QjV2ox+saof1hA3IOnVgGxlYa4q5E65aOn+eCcCFI7MA==";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0009-0002-7114-0687 .
}