Abstract

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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.