一种模糊时空描述逻辑F-ALCT(Dfst)
来源期刊：东北大学学报(自然科学版)2016年第9期
论文作者：程海涛 马宗民 严丽 张富
文章页码：1259 - 1263
关键词：语义Web;模糊描述逻辑;模糊时空区域;拓扑谓词;具体域;模糊时空描述逻辑;
摘 要：为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(Dfst).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域Dfst,给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将Dfst和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(Dfst),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(Dfst)的知识库实例.F-ALCT(Dfst)有效地实现了语义Web中模糊时空知识的表示.
程海涛1，马宗民1，严丽2，张富1
1. 东北大学计算机科学与工程学院2. 东北大学软件学院
摘 要：为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(Dfst).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域Dfst,给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将Dfst和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(Dfst),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(Dfst)的知识库实例.F-ALCT(Dfst)有效地实现了语义Web中模糊时空知识的表示.
关键词：语义Web;模糊描述逻辑;模糊时空区域;拓扑谓词;具体域;模糊时空描述逻辑;
