一种模糊时空描述逻辑F-ALCT(D_(fst))

A Fuzzy Spatio-Temporal Description Logic F-ALCT(D_(fst))

为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(D_(fst)).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域D_(fst),给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将D_(fst)和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(D_(fst)),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(D_(fst))的知识库实例.F-ALCT(D_(fst))有效地实现了语义Web中模糊时空知识的表示.

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 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 Dfst 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-ALCTC （Dfst） knowledge base was given. The F-ALCT （ Dfst） effectively realizes the representation of fuzzy spatio-temporal knowledge in semantic Web.