一种模糊时空描述逻辑F-ALCT(D_(fst)) |
| |
引用本文: | 程海涛,马宗民,严丽,张富.一种模糊时空描述逻辑F-ALCT(D_(fst))[J].东北大学学报(自然科学版),2016,37(9):1259-1263. |
| |
作者姓名: | 程海涛 马宗民 严丽 张富 |
| |
作者单位: | (1. 东北大学 计算机科学与工程学院, 辽宁 沈阳110819; 2. 东北大学 软件学院, 辽宁 沈阳110819) |
| |
基金项目: | 国家自然科学基金资助项目(61370075); 教育部新世纪优秀人才支持计划项目(NCET-05-0288). |
| |
摘 要: | 为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(D_(fst)).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域D_(fst),给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将D_(fst)和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(D_(fst)),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(D_(fst))的知识库实例.F-ALCT(D_(fst))有效地实现了语义Web中模糊时空知识的表示.
|
关 键 词: | 语义Web 模糊描述逻辑 模糊时空区域 拓扑谓词 具体域 模糊时空描述逻辑 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《东北大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《东北大学学报(自然科学版)》下载免费的PDF全文 |
|