Journal of Northeastern University Natural Science ›› 2016, Vol. 37 ›› Issue (9): 1259-1263.DOI: 10.12068/j.issn.1005-3026.2016.09.010

• Information & Control • Previous Articles     Next Articles

A Fuzzy Spatio-Temporal Description Logic F-ALCT(Dfst)

CHENG Hai-tao1, MA Zong-min1, YAN Li2, ZHANG Fu1   

  1. 1. School of Computer Science & Engineering, Northeastern University, Shenyang 110819, China; 2. School of Software, Northeastern University, Shenyang 110819, China.
  • Received:2015-07-20 Revised:2015-07-20 Online:2016-09-15 Published:2016-09-18
  • Contact: CHENG Hai-tao
  • About author:-
  • Supported by:
    -

Abstract: In order to achieve representation and reasoning of fuzzy spatio-temporal knowledge in semantic Web, a fuzzy description logic F-ALCT(Dfst) supporting fuzzy spatio-temporal concrete domain was proposed. Firstly, a fuzzy spatio-temporal concrete domain D○fst containing fuzzy spatio-temporal regions and their topological predicates was constructed. And the quantitative computation method of fuzzy topological relationships between fuzzy spatio-temporal regions was presented. Then, the concrete domain D○fst and temporal operators were introduced to fuzzy description logic Fuzzy-ALC, and a new fuzzy spatio-temporal description logic, called F-ALCT(Dfst), was proposed. Furthermore, a formal definition of syntax, semantics and knowledge base of the F-ALCT(Dfst) was presented. Finally, an example of F-ALCT(Dfst) knowledge base was given. The F-ALCT(Dfst) effectively realizes the representation of fuzzy spatio-temporal knowledge in semantic Web.

Key words: semantic Web, fuzzy description logic, fuzzy spatio-temporal regions, topological predicates, concrete domain, fuzzy spatio-temporal description logic

CLC Number: