@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix fdof: <https://w3id.org/fdof/ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sosa: <http://www.w3.org/ns/sosa/> .
@prefix ssn: <http://www.w3.org/ns/ssn/> .

@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/> .

rfr-sep:AvailableRobot
    rdf:type
        fdof:FAIRDigitalObject ,
        owl:Class ;
    dcterms:conformsTo rfp:TrivialProfile ;
    rdfs:label "Available Robot" ;
    rdfs:comment "The class of mobile robots available for experiments in the RoBivaL project." ;
    rdfs:subClassOf
        sosa:FeatureOfInterest ,
        sosa:Platform ,
        ssn:System ;
    owl:equivalentClass [
        rdf:type owl:Class ;
        owl:oneOf
            rfr-shw:Artemis ,
            rfr-shw:Bonirob ,
            rfr-shw:NaioOz ,
            rfr-shw:Sherpatt ;
    ] ;
.