384 ◾ Joerg Leukel and Stefan Kirn
With regard to (1), we add a Location ⊑ Country subconcept, enumerate its mem-
bers, e.g., {MRN}:Location, and then link each location to one country, thus by a
functional role (Location,Country):belongsTo, then ({MRN},{CAN}):belongsTo as an
example. With regard to (2), functions are expressed by a role (Location,Function):
hasFunction. Membership in Function is restricted by Function ⊑ {Port}⊔{RailTe
rmin}⊔...⊔{BorderCrossing}, and all locations are related to at least one function,
e.g., ({MRN},{Port}:hasFunction. With regard to (3), a functional role (Location,C
oordinate):hasCoordinate with T ⊑ 1hasCoordinate is needed, which is then used
to give the coordinate of each location, e.g., ({MRN},{4535N07 ...