Description logic approach for transportation system

The last years, there has been a rapidly growing interest in the transportation and logistic domain for systems based on knowledge representation techniques. This paper proposes an approach based on description logics to a current planning problem of a transportation system such Automated Guided Vehicles (AGV) or railway interlocking. A railway interlocking is defined as a system of relay, controlled by computer and that is used to guarantee safe train movements. In order to adapt to a dynamic environment without creating difficult situation, a formalism for describing the AGV motion planning or interlocking behavior is needed. This study intends to show why Description Logics represent an interesting approach for handling such a formalism.