东北大学学报:自然科学版 ›› 2016, Vol. 37 ›› Issue (9): 1259-1263.DOI: 10.12068/j.issn.1005-3026.2016.09.010
程海涛1, 马宗民1, 严丽2, 张富1
CHENG Hai-tao1, MA Zong-min1, YAN Li2, ZHANG Fu1
摘要: 为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(Dfst).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域Dfst,给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将Dfst和时态操作符引入到模糊描述逻辑Fuzzy-ALC中,构建出一种新的模糊描述逻辑F-ALCT(Dfst),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(Dfst)的知识库实例.F-ALCT(Dfst)有效地实现了语义Web中模糊时空知识的表示.
中图分类号: