Description

Title A Hybrid Spatial Logic for Geodetic Reasoning
Abstract In this paper we develop a framework of geodetic reasoning. We propose a hybrid spatial logic for the formalism of road sign management and reasoning. The proposed framework is general, which can be used not only for the Korean road sign management system, in which a road sign usually consists of a direction and a POI (Point of interest) only, but also covers the general road sign management systems in which a road sign may consist of a direction and a highway number. We discuss how the hybrid spatial logic can be used for the validation checking with Korean road sign management and propose several validation algorithms for the validation checking.