s4auto:PlatoonLeave — Platoon Leave

IRI
https://saref.etsi.org/saref4auto/PlatoonLeave
Is defined by
https://saref.etsi.org/saref4auto/v2.1.1/
Is referenced by
https://saref.etsi.org/saref4auto/v2.1.1/
https://saref.etsi.org/saref4auto/v2.1.1/example/Platoon#
Download serialization
License

Definition of s4auto:PlatoonLeave

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

Describes the act of a platoon participant carrying out a procedure to leave a platoon. It is linked to the platoon using OP saref:targets. DP saref:resultTime indicates the time of leaving.

Description as a Class

Turtle

@prefix dct: <http://purl.org/dc/terms/> .
@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/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<https://saref.etsi.org/saref4auto/v2.1.1/example/Platoon#> dct:references s4auto:PlatoonLeave .

s4auto:PlatoonLeave a owl:Class ;
    rdfs:label "Platoon Leave"@en ;
    dct:isReferencedBy <https://saref.etsi.org/saref4auto/v2.1.1/>,
        <https://saref.etsi.org/saref4auto/v2.1.1/example/Platoon#> ;
    rdfs:comment "Describes the act of a platoon participant carrying out a procedure to leave a platoon. It is linked to the platoon using OP saref:targets. DP saref:resultTime indicates the time of leaving."@en ;
    rdfs:isDefinedBy <https://saref.etsi.org/saref4auto/v2.1.1/> ;
    rdfs:seeAlso <https://saref.etsi.org/saref4auto/v2.1.1/> ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom s4auto:Vehicle ;
            owl:onProperty saref:madeBy ],
        [ a owl:Restriction ;
            owl:onProperty saref:targets ;
            owl:someValuesFrom s4auto:Platoon ],
        saref:ProcedureExecution ;
    skos:hiddenLabel "PlatoonLeave" .

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