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

约束增强的RDFS(RDFS_((c)))本体克服了RDFS描述约束能力欠缺的缺点,然而约束机制的引入给本体验证问题带来了挑战。文中提出了一种面向RDFS_((c))本体的、支持可判定性推断的模式验证方法。该方法对约束之间的依赖关系进行解析。首先,将RDFS_((c))模式转化为一阶谓词逻辑表达式,而将规约的检测问题转化为表达式的可满足性检测问题;在此基础上,建立反映约束之间的修复-违背关系的约束依赖图,并对其进行必要的约简;接着,通过识别图中的有限环路来推导模式验证任务的可判定性;最后,通过约束依赖关系之上的推理进行模式的验证。该方法有两方面特点:一方面,通过到一阶谓词逻辑表达式的转换以及基于相应的一阶约束的依赖关系的推理,所提出的方法具有强适用性,特别是约束依赖性解析可以最大程度地减少回溯的次数,从而确保了验证过程的高效性;另一方面,由于独立于任何特定的约束建模语言,其也是一种分析RDFS_((c))模式验证任务的可判定性的通用方法。

基于XML Schema分块的快速本体构建方法

首先,针对传统本体构建方法特别是大型本体构建方法效率较低的问题,提出一种基于XML Schema分块的快速本体构建方法;其次,以开放式地理信息协会标准的网络服务模式为研究对象,分析XML Schema与网络本体语言模型间的映射规则生成、本体模型构建、本体实例生成、实例验证及规则反馈等技术;最后,用网络覆盖服务模式转换实验验证该方法的有效性.