A declarative approach to multi-layer path finding based on semantic network descriptions

With the increasing demand for dynamic network connections between multiple research networks, a number of issues on multi-layer hybrid networks need to be addressed, such as network representation, path finding, and path provisioning. This paper focuses on solving the multi-layer path finding problem by a declarative approach. The declarative approach uses Prolog and is compared to an imperative algorithm in Python that was published earlier. We present semantic web technologies to describe the multi-layer network and introduce the complexity of the path finding problem with a typical multi-layer network example.