@prefix dct: <http://purl.org/dc/terms/> .
@prefix ns1: <http://www.w3.org/2004/02/skos/core#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix s4auto: <https://saref.etsi.org/saref4auto/> .
@prefix saref: <https://saref.etsi.org/core/> .

s4auto:Platoon rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty s4auto:hasSize ;
            owl:someValuesFrom s4auto:Size ] .

<https://saref.etsi.org/saref4auto/v1.1.1/example/example1#> dct:references s4auto:Size .

<https://saref.etsi.org/saref4auto/v1.1.1/> dct:references s4auto:Size ;
    dct:subject s4auto:Size .

s4auto:Size a owl:Class ;
    rdfs:label "Size"@en ;
    dct:isReferencedBy <https://saref.etsi.org/saref4auto/v1.1.1/>,
        <https://saref.etsi.org/saref4auto/v1.1.1/example/example1#> ;
    rdfs:comment "A Property of interest for the automotive domain. A platoon has a size. Tis size is defined as 1) the total number of vehicles currently in the platoon; or 2) Length of the platoon (sum of all vehicles' length + inter-vehicle distance)"@en ;
    rdfs:isDefinedBy <https://saref.etsi.org/saref4auto/v1.1.1/> ;
    rdfs:seeAlso <https://saref.etsi.org/saref4auto/v1.1.1/> ;
    rdfs:subClassOf saref:Property ;
    ns1:hiddenLabel "Size" .