摘要
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.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2009年第3期97-103,共7页
Journal of National University of Defense Technology
基金
国家自然科学基金资助项目(70371008)
关键词
OWLS
本体维护
语法一致性
规则
关联矩阵
变化生成算法
OWL-S
ontology maintenance
syntactic consistency
rule
relation matrix
ontology change generation algorithm