RailCorridor¶
A RailCorridor is a type of TravelledWay that is made up of TrackLinks.
IRI: https://w3id.org/citydata/part3/v1/RailCorridor
Diagram¶

Formalization for RailCorridor¶
| Property | Constraint |
|---|---|
| cdm1:hasProperPart | only TrackLink |
| cdm1:hasProperPart | min 1 |
| cdm1:hasProperPart | min 1 TrackLink |
| cdm1:properPartOf | only RailNetwork |
| cdm1:properPartOf | only RailNetwork |
| subClassOf | TravelledWay |
Other annotations¶
| Property | Value |
|---|---|
| xsd:pattern | RailNetworkPattern |