一种模糊时空描述逻辑F-ALCT（Dfst）

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