The transportation paths routing semantic description

The paper presents a semantic network formalism based on frame logic. Advanced techniques including HiLog extensions, transaction logic and dynamic module creation are applied to the problem of preferential routing and rerouteing. The deductive program is implemented in the FLORA-2 reasoning engine, which allows for scalable query execution. In the end possible extensions to the system and guidelines for future research are presented.