s4auto:hasMaxSize — hasMaxSize

Definition of s4auto:hasMaxSize

Defined in https://saref.etsi.org/saref4auto/v1.1.1/ as:

A relation to express the max size of a platoon. Note that it is defined as a datatype property as this is a fixed/static value of the platoon that does not change over time. In contrast, the current size of the platoon is actually a measurement that may change over time and it is therefore defined as an object property (see s4auto:hasSize).

Definition as a Datatype Property

Turtle

@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 xsd: <http://www.w3.org/2001/XMLSchema#> .

s4auto:Platoon rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty s4auto:hasMaxSize ;
            owl:someValuesFrom xsd:int ] .

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

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

s4auto:hasMaxSize a owl:DatatypeProperty ;
    rdfs:label "hasMaxSize"@en ;
    dct:isReferencedBy <https://saref.etsi.org/saref4auto/v1.1.1/>,
        <https://saref.etsi.org/saref4auto/v1.1.1/example/example1#> ;
    rdfs:comment "A relation to express the max size of a platoon. Note that it is defined as a datatype property as this is a fixed/static value of the platoon that does not change over time. In contrast, the current size of the platoon is actually a measurement that may change over time and it is therefore defined as an object property (see s4auto:hasSize)."@en ;
    rdfs:isDefinedBy <https://saref.etsi.org/saref4auto/v1.1.1/> ;
    rdfs:seeAlso <https://saref.etsi.org/saref4auto/v1.1.1/> ;
    ns1:hiddenLabel "hasMaxSize" .