A Fuzzy Spatial Description Logic for the Semantic Web

Tracking #: 1675-2887

This paper is currently under review
Haitao Cheng
Zongmin Ma
Tao Li

Responsible editor: 
Thomas Lukasiewicz

Submission type: 
Full Paper
Spatial information is a crucial feature in many application domains. However, spatial information is often not crisp, but imprecise and uncertain. With the emergence of fuzzy spatial information, the representation and reasoning of fuzzy spatial knowledge have been a hot research topic. Currently, a large amount of fuzzy spatial information and many corresponding applications have been incorporated into the Semantic Web. To support representation and reasoning of fuzzy spatial knowledge in the Semantic Web, hence, in this paper, we propose a fuzzy spatial description f -ALC(S) which extends fuzzy ALC with fuzzy spatial concrete domain S. First, a fuzzy spatial concrete domain S including fuzzy spatial regions and fuzzy RCC relations is constructed. Then, the admissible concrete domain S is introduced to fuzzy description logic fuzzy ALC, and a new fuzzy spatial description logic f -ALC(S) is proposed. Furthermore, a formal definition of syntax, semantics, and knowledge base of the f -ALC(S) is given. Finally, we propose a tableau algorithm for reasoning fuzzy spatial knowledge, i.e., determining the consistency of f -ALC(S) ABox w.r.t an empty TBox. At the same time, we show the termination, soundness, and completeness of the tableau algorithm and analyze the complexity of the reasoning problem.
Full PDF Version: 
Under Review