一种约束增强的RDFS本体的模式验证方法.pdfVIP

://

httwww．skx．com

pjj

:/

DOI１０．１１８９６skx．２３０８０００３４

jj

一种约束增强的RDFS本体的模式验证方法

赵晓非１柴争义１袁超２张振２

天津工业大学计算机科学与技术学院天津

１３００３８７

天津工业大学软件学院天津

２３００３８７

(),

摘要约束增强的()本体克服了描述约束能力欠缺的缺点然而约束机制的引入给本体验证问题带来

RDFSRDFScRDFS

.、..

了挑战文中提出了一种面向()本体的支持可判定性推断的模式验证方法该方法对约束之间的依赖关系进行解析

RDFSc

,,;,

首先将()模式转化为一阶谓词逻辑表达式而将规约的检测问题转化为表达式的可满足性检测问题在此基础上建立

RDFSc

,;,

反映约束之间的修复违背关系的约束依赖图并对其进行必要的约简接着通过识别图中的有限环路来推导模式验证任务的

Ｇ

;,.:,

可判定性最后通过约束依赖关系之上的推理进行模式的验证该方法有两方面特点一方面通过到一阶谓词逻辑表达式的

,,

转换以及基于相应的一阶约束的依赖关系的推理所提出的方法具有强适用性特别是约束依赖性解析可以最大程度地减少回

,;,,

溯的次数从而确保了验证过程的高效性另一方面由于独立于任何特定的约束建模语言其也是一种分析()模式验证

RDFSc

任务的可判定性的通用方法.

:;;;

关键词RDFS本体验证约束依赖性可判定性

中图分类号TP１８２

SchemaValidationAroachforConstraintＧenhancedRDFSOntolo

pp