计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2009年
9期
1488-1497
,共10页
王海龙%马宗民%殷俊夫%程经纬
王海龍%馬宗民%慇俊伕%程經緯
왕해룡%마종민%은준부%정경위
语义Web%模糊描述逻辑%F-ALC(G)%推理机%用户定制数据类型
語義Web%模糊描述邏輯%F-ALC(G)%推理機%用戶定製數據類型
어의Web%모호묘술라집%F-ALC(G)%추리궤%용호정제수거류형
作为语义Web的逻辑基础,描述逻辑可为其提供推理支持,因而描述逻辑推理机是语义Web付诸应用的根本载体.基于模糊描述逻辑F-ALC(G),设计并实现了模糊描述逻辑推理机FRESG1.0,它支持含有模糊用户定制数据类型谓词的模糊数据类型信息的表示和推理.简要介绍了FRESG1.0的主要推理功能以及所使用的编程语言;详细描述了FRESG1.0的总体结构及其主要组成部分的设计与实现,其中着重阐述了FRESG1.0推理机的特色和设计实现过程中所采用的算法、实现技术.通过测试案例可以看出,FRESG1.0推理机具备较强的推理能力,尤其具备目前其他推理机所不具备的推理模糊用户定制数据信息的能力.FRESG1.0具有较强的模块化结构,有很好的可扩展性,为今后对其进行深入研究和扩展奠定了基础.
作為語義Web的邏輯基礎,描述邏輯可為其提供推理支持,因而描述邏輯推理機是語義Web付諸應用的根本載體.基于模糊描述邏輯F-ALC(G),設計併實現瞭模糊描述邏輯推理機FRESG1.0,它支持含有模糊用戶定製數據類型謂詞的模糊數據類型信息的錶示和推理.簡要介紹瞭FRESG1.0的主要推理功能以及所使用的編程語言;詳細描述瞭FRESG1.0的總體結構及其主要組成部分的設計與實現,其中著重闡述瞭FRESG1.0推理機的特色和設計實現過程中所採用的算法、實現技術.通過測試案例可以看齣,FRESG1.0推理機具備較彊的推理能力,尤其具備目前其他推理機所不具備的推理模糊用戶定製數據信息的能力.FRESG1.0具有較彊的模塊化結構,有很好的可擴展性,為今後對其進行深入研究和擴展奠定瞭基礎.
작위어의Web적라집기출,묘술라집가위기제공추리지지,인이묘술라집추리궤시어의Web부제응용적근본재체.기우모호묘술라집F-ALC(G),설계병실현료모호묘술라집추리궤FRESG1.0,타지지함유모호용호정제수거류형위사적모호수거류형신식적표시화추리.간요개소료FRESG1.0적주요추리공능이급소사용적편정어언;상세묘술료FRESG1.0적총체결구급기주요조성부분적설계여실현,기중착중천술료FRESG1.0추리궤적특색화설계실현과정중소채용적산법、실현기술.통과측시안례가이간출,FRESG1.0추리궤구비교강적추리능력,우기구비목전기타추리궤소불구비적추리모호용호정제수거신식적능력.FRESG1.0구유교강적모괴화결구,유흔호적가확전성,위금후대기진행심입연구화확전전정료기출.
