位置：成果数据库 > 期刊 > 期刊详情页
基于描述逻辑的语义Web服务动态复合推理和验证
  • ISSN号：1001-6600
  • 期刊名称：《广西师范大学学报：自然科学版》
  • 时间：0
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]太原理工大学计算机与软件学院,山西太原030024
  • 相关基金：国家自然科学基金资助项目（60472093）
作者： 李英杰[1], 余雪丽[1], 王睿[1]
关键词： 语义WEB, 服务复合, 描述逻辑, AI规划, semantic web , service composition description logic , AI planning
中文摘要：

描述逻辑具有良好的知识表示能力和强大的推理能力，AI规划具有良好的行为状态变化建模能力。将描述逻辑与AI规划相结合，提出一种基于描述逻辑的语义Web服务动态复合机制，并对其进行逻辑证明。

英文摘要：

The DL （Description Logic） possesses strong domain knowledge representation and reasoning capabilities. The AI planning introduces the action notion and achieves the modeling of the action state transformation based on the action reasoning. Based on the merits of the DL and the AI planning above, this paper proposes a dynamic service composition mechanism and verifies its reasonability in DL.

同期刊论文项目
知晓内容和环境的本体知识路由研究
期刊论文 42 会议论文 26
同项目期刊论文
Research on Virtual Agent Perc
知识社群中用户模型的改进与更新
基于描述逻辑的语义Web服务动态
神经网络在案例特征选择中的方法
基于本体的语义Web服务通信协议
本体驱动的动态虚拟社区知识通信
本体驱动的知晓内容和上下文的知
一种基于本体的个性化模式库建模
基于语义Web上知识表示的研究及
内容知晓技术在决策支持中的应用
基于TAP的上下文知晓系统体系结
基于神经网络的文本聚类促进本体
本体驱动的语义Web服务动态复合
基于概念图匹配的语义相似性算法
基于Pi-演算的WS-CDL编舞的描述
基于JXTA的语义通信模型的研究
基于免疫匹配规则的本体语义匹配
应急系统中不确定时态知识表示及
基于SOAP/KQML的Web Services的
基于P2P的分布式Web服务挖掘技术
基于兴趣和信任评价的P2P语义社区模型
基于用户与服务协同聚类的Web服务发现研究
基于分面导航理论的RDF数据的持久化研究
基于服务QoS执行信息的Web服务推荐研究
一种基于本体的个性化模式库建模方法
一种基于点的多社区谱分解方法
模型和视点相关性的多分辨率模型的渲染
RDF在语义Web知识表示中的作用
知识社群中用户模型的改进
基于Web文本挖掘中的一种中文分词算法研究
基于TGEA的透水事故场景模拟
Research on Virtual Agent Perception Model
Euclidean节点定位算法改进及其仿真
Quake2中NPC智能结构分析及行为改进
内容感知的本体知识通信协议研究
移动Agent上下文知晓模型研究
基于神经网络的文本聚类促进本体的构建
基于SOAP／KQML的Web Services的知识通信研究
内容知晓技术在决策支持系统中的应用
基于TAP的上下文知晓系统体系结构
基于本体的语义Web服务通信协议的研究
期刊信息
  • 《广西师范大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:广西师范大学
  • 主办单位:广西师范大学
  • 主编：苏桂发
  • 地址：桂林市三里店育才路15号
  • 邮编：541004
  • 邮箱：gxsdzkb@mailbox.gxnu.edu.cn
  • 电话：0773-5848958
  • 国际标准刊号：ISSN：1001-6600
  • 国内统一刊号：ISSN：45-1067/N
  • 邮发代号:48-54
  • 获奖情况:
  • 1994年，获广西优秀期刊三等奖,1995年，获广西高校理科学报B类一等奖,1996年，获广西第三届优秀报刊二等奖,1999年，获广西首届高校优秀学报二等奖,2001年，被评为第四届广西优秀科技期刊,2002年，获第二届广西高校优秀学报二等奖,2002年，入选中国期刊方阵“双效”期刊,2004年，获全国高校优秀科技期刊一等奖,2005年，获第五届“广西十佳自然科学期刊”称号,2007年，获第六届“广西十佳自然科学期刊”称号,2008年，被评为全国高校科技期刊先进集体
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,英国农业与生物科学研究中心文摘,波兰哥白尼索引,德国数学文摘,美国剑桥科学文摘,英国动物学记录,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:5888