您的位置: 专家智库 > >

邓新国

作品数:6 被引量:3H指数:1
供职机构:武汉大学计算机学院软件工程国家重点实验室更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 5篇期刊文章
  • 1篇会议论文

领域

  • 6篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇OWL
  • 1篇代码
  • 1篇代码实现
  • 1篇定理
  • 1篇信息集成
  • 1篇形式化
  • 1篇英文
  • 1篇有色PETR...
  • 1篇智能体
  • 1篇上下文
  • 1篇描述逻辑
  • 1篇范畴论
  • 1篇本体
  • 1篇RULES
  • 1篇SEMANT...
  • 1篇AGENTS
  • 1篇BPEL
  • 1篇BPMN
  • 1篇CLUSTE...
  • 1篇DL

机构

  • 6篇武汉大学
  • 1篇湖南财经高等...

作者

  • 6篇肖如良
  • 6篇邓新国
  • 5篇房丽娜
  • 5篇李玲
  • 4篇唐胜群
  • 3篇徐有威
  • 2篇林子禹
  • 2篇徐扬
  • 1篇徐杨
  • 1篇陈伟清

传媒

  • 2篇Journa...
  • 1篇计算机工程
  • 1篇小型微型计算...
  • 1篇计算机科学
  • 1篇全国语域we...

年份

  • 1篇2009
  • 1篇2008
  • 2篇2007
  • 2篇2006
6 条 记 录,以下是 1-6
排序方式:
用范畴论和SHOIQ(D)DL形式化上下文被引量:1
2007年
为了解决在动态环境下不断进化的本体知识库和资源整合所带来的上下文环境问题,作者从范畴论的角度在一种描述逻辑SHOIQ(D)内提出了一个基于上下文的Context-SHOIQ(D)形式系统,文章对其语法、语义,以及有关推理和知识表示的若干元语言进行了论述,最后讨论了该形式系统实现异构信息集成的方法.
肖如良唐胜群李玲房丽娜邓新国
关键词:描述逻辑上下文信息集成
扩展OWL:聚合集成协作的本体和智能体(英文)
为了解决本体之间、本体与外部智能体之间协作的困难问题,提出了一个本体聚合集成协作的方法,与当前方法不同之处在于不使用owl:import而采取添加新的协作接口(agent-link和on- tology-link);讨论...
肖如良唐胜群李玲房丽娜徐扬徐有威邓新国
关键词:本体智能体
文献传递
有色Petri网协作模型的BPEL代码实现被引量:1
2008年
Web服务业务流程执行语言(BPEL)提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用。另一方面,有色Petri(CPNs)可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行之间建立一座桥梁,给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法。首先,把CPNs协作模型转换为结构工作流网模型;然后,把工作流网模转换为BPEL代码,最后,通过电话机故障修理的案例研究,说明了算法的有效性。
邓新国林子禹陈伟清肖如良李玲房丽娜
关键词:PETRI网BPELWEB服务
Extend OWL: toward a clustering integration of collaborative ontologies and agents
2006年
In order to solve the problem of how to collaborate with foreign agents and ontologies, a restricted clustering integration approach is proposed. It differs from the traditional approaches in which web ontology language (OWL) is extended by adding some new collaborative interfaces ( i. e., agent-link and ontology-link) to it instead of owl: import. Syntaxes of the interface for foreign ontologies and foreign agents, respectively, and a meta-method of clustering integrated collaboration are discussed. The approach focuses on taking advantage of OWL itself to solve the collaborative problems, and it is feasible to track the contexts of newadded knowledge concerning ontological collaboration.
肖如良唐胜群李玲房丽娜徐扬徐有威邓新国
关键词:AGENTSCOLLABORATION
基于结构化定理的BPMN结构化方法被引量:1
2009年
在基于标准模型驱动业务流程的开发环境中,需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法,把业务过程建模符号的非结构化程序转化为结构化程序,并通过一个实际案例说明其可行性。实验结果表明,该方法是有效的。
邓新国林子禹肖如良
Context-driven reconciliation in ontology integration
2007年
In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the previous work about a context-based formalism-Context-SHOIQ (D + ) DL, which is used for explicitly representing context of ontology by adopting the description logic and the category theory. The formalism is extended by adding four migration rules (InclusionRule, SelectionRule, PreferenceRule, and MappingRule), that are used to specify what should be imported into the IntegrativeContext, and three related contextual integration operations of increasing interoperability (import, partial reconciliation, and full reconciliation). While not exhaustive, the mechanism is sufficient for solving the five types of semantic irreconcilable problems that are discussed, and favors integration of ontologies from one context to another.
李玲唐胜群肖如良房丽娜邓新国徐有威徐杨
关键词:CONTEXTRECONCILIATION
共1页<1>
聚类工具0