使机器利用Web数据智能协作是语义Web的目标,人与机器迫切要求从Web上获取知识,使得知识通信成为一个亟待解决的问题。构筑在应用层上的知识路由与内容校验机制,是确保知识传递质量的关键。本课题为建立高效知识通信寻址方式,拟设计知晓内容和环境的本体知识路由,研究多维分层优化的知识路由表和异构本体转换,使用案例推理、基于规则的推理进行任务分解,采用进程代数或π演算设计验证子任务最优协作结构,并通过环境
本课题提出了有独到见解的本体知识路由概念,此概念与Berners-Lee倡导的语义Web,与Peer-Peer的对等网络结构,与在工业界广泛应用的Web服务的研究方向一致,研究成果相辅相成,相互促进。经过三年刻苦钻研,课题组参考成熟的传统网络路由和协议的原理及构建机制,潜心研究设计了基于P2P的动态虚拟社区、知晓内容和环境的本体知识路由框架、基于语义关系的知识路由算法;根据设定本体知识各种属性的影响因子计算语义距离,建立以本体分类为基础、概念属性分层的知晓内容的知识路由表;同时,用Pi演算对Web服务组合进行验证,用描述逻辑DL对语义Web服务动态复合进行推理,运用行为分析对交互Web 服务进行检验。在知识路由协议方面,研究基于KQML和SOAP的知识通信框架的合理性,分别探讨了基于语义SOAP本体的知识通信协议,由简单、概念和解释三层组成的分层通信协议,以及基于JXTA的语义Web服务通信协议方案,设计相应算法检验其合理性和一致性,研究通过传输协议进一步发现隐式知识。课题研究成果将促使语义Web上异构信息的集成与共享。课题组共发表核心期刊和被三大索引收录文章33篇,培养硕士生14名。