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

作者：程海涛; 马宗民; 严丽; 张富语义web模糊描述逻辑模糊时空区域拓扑谓词具体域模糊时空描述逻辑

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社