Fuzzy process for spatial semantic information

Uncertain spatial and geometric information are concerned in many of the mechatronics and automations tasks. With the rapid development of semantic web, semantic technologies are also used in these fields for the sake of information share and integration. But no fuzzy theory for spatial semantic information has been studied before. The fuzzy spatial description logic FALCRP(D) is proposed, it is based on spatial reasoning and fuzzy logic. FALCRP(D) augments the following features to classical description logic: the complex role forming predicate for describing spatial relation, the syntax and semantics for fuzzy concept and roles. The tableau algorithm and the soundness and completeness proofs are given. FALCRP(D) can deal with the spatial and semantic combined fuzzy information. An example shows its power in planning and design task. FALCRP(D) also has potential applications in mechatronics and automations fields.