计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2009年
1期
289-293,298
,共6页
邱剑锋%王申康%马勤勇%王玥%徐海长
邱劍鋒%王申康%馬勤勇%王玥%徐海長
구검봉%왕신강%마근용%왕모%서해장
描述逻辑%服务交互%语义服务%数据集成
描述邏輯%服務交互%語義服務%數據集成
묘술라집%복무교호%어의복무%수거집성
提出了一个基于描述逻辑规则的自动服务交互的模型框架,将服务抽象成基于消息的服务模型.该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段,使用描述逻辑的概念对服务之间传递的消息数据进行语义分析,在服务内部数据模式与描述逻辑知识库间建立对应关系.在交互规则方面,使用基于描述逻辑和Horn子句进行描述;在描述逻辑的Tableau算法的支持下,对知识库概念和规则进行有效性、一致性和可满足性的验证,实现数据异构模式下服务间基于语义的自动交互.
提齣瞭一箇基于描述邏輯規則的自動服務交互的模型框架,將服務抽象成基于消息的服務模型.該服務模型將在服務之間傳遞的麵嚮對象的服務消息作為服務交互的主要手段,使用描述邏輯的概唸對服務之間傳遞的消息數據進行語義分析,在服務內部數據模式與描述邏輯知識庫間建立對應關繫.在交互規則方麵,使用基于描述邏輯和Horn子句進行描述;在描述邏輯的Tableau算法的支持下,對知識庫概唸和規則進行有效性、一緻性和可滿足性的驗證,實現數據異構模式下服務間基于語義的自動交互.
제출료일개기우묘술라집규칙적자동복무교호적모형광가,장복무추상성기우소식적복무모형.해복무모형장재복무지간전체적면향대상적복무소식작위복무교호적주요수단,사용묘술라집적개념대복무지간전체적소식수거진행어의분석,재복무내부수거모식여묘술라집지식고간건립대응관계.재교호규칙방면,사용기우묘술라집화Horn자구진행묘술;재묘술라집적Tableau산법적지지하,대지식고개념화규칙진행유효성、일치성화가만족성적험증,실현수거이구모식하복무간기우어의적자동교호.
