一种基于规则的OWL-S本体语法一致性维护方法  

A Rule-based Approach for Maintenance of OWL-S Ontology Syntactic Consistency

作　　者：鲍爱华[1] 张维明[1] 袁金平[1] 姚莉[1] 

机构地区：[1]国防科技大学信息系统与管理学院,湖南长沙410073

出　　处：《国防科技大学学报》2009年第3期97-103,共7页Journal of National University of Defense Technology

基　　金：国家自然科学基金资助项目(70371008)

摘　　要：OWL-S本体语法一致性维护是语义Web服务维护工程中需要重点研究的问题。提出一个一致性维护框架指导知识工程师进行OWL-S本体语法一致性维护,定义并抽象出OWL-S本体基本变化,提出变化关联矩阵分析基本变化间的依赖关系,基于关联矩阵提出额外变化序列生成算法分析基本变化对全局的影响,并分析了算法时间复杂性。对OWL-S本体语法一致性规则进行了形式化定义,使机器能够自动检测这些规则,辅助知识工程师完成OWL-S本体语法一致性维护工作。The maintenance of OWL-S ontology syntactic consistency is very important in the evolution of semantic web services. In this paper, the differences between OWL-S and domain ontology are analyzed, and a maintenance framework is proposed to guide engineers to maintain the syntactic consistency of OWL-S. After the dementary changes of OWL-S are defined and abstracted, the change relation matrix is given to define the dependency between them, then, an algorithm to gencrate potential changes based on relation matrix is shown, and the time complexity of this algorithm is also analyzed. The syntactic consistency rules of OWL-S are divided into two types： mandate rules and optional rules while the descriptions and formal definitions of these rules are also given. In so doing, the agent can check these rules automatically, and help engineers to maintain the syntactic consistency of OWL-S ontology.

关 键 词：OWLS 本体维护 语法一致性 规则 关联矩阵 变化生成算法 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]