肖岚
- 作品数：2 被引量：6H指数：1
- 供职机构：清华大学机械工程学院工业工程系更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：机械工程自动化与计算机技术更多>>
- Horn-Extended DL的Tableau算法研究
- 2009年
- 描述逻辑和逻辑程序是两种非常重要的知识表达形式,分别具有不同的表达能力。为了保证结合描述逻辑和逻辑程序的可判定性,Motik给出了一种DL-safe规则。在Motik工作的基础上,提出了对描述逻辑进行Horn子句拓展的Horn-Extended DL,并给出了Horn-Extended DL的Tableau算法,最后通过一个算例验证了算法的正确性和效率。
- 肖岚郑力肖建黄毅
- 关键词：描述逻辑逻辑程序HORN子句TABLEAU算法
- 基于领域本体的业务组件描述与组合匹配被引量：6
- 2009年
- 为支持各类业务组件的有效共享和快速检索,提出了一种基于领域本体的业务组件描述语言,并从领域标准中提炼了业务术语和业务数据,分别作为定义功能语义和数据语义的规范,以解决组件之间的语义异构问题。为满足业务流程活动的需求,通过功能语义匹配和数据语义匹配的结合,对业务组件进行检索,特别是针对数据语义存在的分解和组合关系,提出了基于概念集合关联度的启发式算法进行组件组合匹配。实验表明,该算法具有较高的效率。
- 肖建肖岚黄毅郑力
- 关键词：领域本体业务组件语义组件组合
