东北大学学报（自然科学版）

东北大学学报:自然科学版 ›› 2016, Vol. 37 ›› Issue (9): 1259-1263.DOI: 10.12068/j.issn.1005-3026.2016.09.010

• 信息与控制 • 上一篇    下一篇

一种模糊时空描述逻辑F-ALCT(D○fst)

程海涛1， 马宗民1， 严丽2， 张富1   

  1. (1. 东北大学 计算机科学与工程学院， 辽宁 沈阳110819; 2. 东北大学 软件学院， 辽宁 沈阳110819)
  • 收稿日期:2015-07-20 修回日期:2015-07-20 出版日期:2016-09-15 发布日期:2016-09-18
  • 通讯作者: 程海涛
  • 作者简介:程海涛(1986-)，男，河南光山人，东北大学博士研究生； 马宗民(1965-)，男，山东金乡人，东北大学教授，博士生导师.
  • 基金资助:
    国家自然科学基金资助项目(61370075)； 教育部新世纪优秀人才支持计划项目(NCET-05-0288).

A Fuzzy Spatio-Temporal Description Logic F-ALCT(Dfst)

CHENG Hai-tao1， MA Zong-min1， YAN Li2， ZHANG Fu1   

  1. 1. School of Computer Science & Engineering， Northeastern University， Shenyang 110819， China； 2. School of Software， Northeastern University， Shenyang 110819， China.
  • Received:2015-07-20 Revised:2015-07-20 Online:2016-09-15 Published:2016-09-18
  • Contact: CHENG Hai-tao
  • About author:-
  • Supported by:
    -

RichHTML

0

PDF (PC)

628

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

关键词: 语义Web, 模糊描述逻辑, 模糊时空区域, 拓扑谓词, 具体域, 模糊时空描述逻辑

Abstract: In order to achieve representation and reasoning of fuzzy spatio-temporal knowledge in semantic Web， a fuzzy description logic F-ALCT(Dfst) supporting fuzzy spatio-temporal concrete domain was proposed. Firstly， a fuzzy spatio-temporal concrete domain D○fst containing fuzzy spatio-temporal regions and their topological predicates was constructed. And the quantitative computation method of fuzzy topological relationships between fuzzy spatio-temporal regions was presented. Then， the concrete domain D○fst and temporal operators were introduced to fuzzy description logic Fuzzy-ALC， and a new fuzzy spatio-temporal description logic， called F-ALCT(Dfst)， was proposed. Furthermore， a formal definition of syntax， semantics and knowledge base of the F-ALCT(Dfst) was presented. Finally， an example of F-ALCT(Dfst) knowledge base was given. The F-ALCT(Dfst) effectively realizes the representation of fuzzy spatio-temporal knowledge in semantic Web.

Key words: semantic Web, fuzzy description logic, fuzzy spatio-temporal regions, topological predicates, concrete domain, fuzzy spatio-temporal description logic

中图分类号: