-
题名不一致本体精确调试的公理分割方法
被引量：1
- 1
-
-
作者
张永涛
-
机构
商丘工学院信息与电子工程学院
-
出处
《计算机应用与软件》
2017年第8期58-65,共8页
-
文摘
本体调试是解决本体不一致问题的主要手段。现有的本体调试方法能够求解出本体不一致性的一组冲突公理集合,删除这些公理可使本体恢复到一致状态。然而,简单地删除这些冲突公理不可避免地会造成本体信息的损失。为了解决这个问题,采用公理分割的思想,对冲突公理集合进行分割,基于分割后的公理集再次进行调试。该方法能够保留与不一致性无关的本体信息,从而避免了信息损失的情况发生。实验结果表明,在各种类型的实验本体上,所提出的精确调试算法在留存度与调试时间两方面都比类似相关的算法取得较好的效果。
-
关键词
本体调试
不一致本体
不可满足概念
公理分割
不一致本体精确调试
-
Keywords
Ontology debugging Incoherent ontology Unsatisfiable concept Axiom segmentation Precise debug-ging for incoherent ontology
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名本体变化管理技术研究综述
被引量：1
- 2
-
-
作者
鲍爱华
姚莉
刘芳
张维明
-
机构
国防科技大学信息系统与管理学院
-
出处
《计算机科学》
CSCD
北大核心
2007年第9期151-155,共5页
-
基金
国家自然科学基金(项目编号70371008)资助
-
文摘
语义Web是一个动态变化的环境,作为其基础的本体也需要及时适应环境的变化而进行改进。本文首先对本体变化和本体变化管理的概念进行了分析,将本体变化管理划分为三个部分:本体变化发现、本体变化处理和本体变化结果传播。以这个划分为基础,分别对本体进化、本体版本机制、多版本推理和不一致推理等与本体变化管理相关的技术进行了具体的阐述,并采用一致的标准对这些研究进行了分类比较。还说明了与本体变化管理相关的研究内容。
-
关键词
本体变化
本体变化管理
本体进化
本体版本机制
多版本推理
不一致本体推理
本体调试
本体模块化
-
Keywords
Ontology change, Ontology change management, Ontology evolution, Ontology versioning, Multi-version ontology reasoning, Inconsistent ontology reasoning, Ontology debugging, Ontology modularization
-
分类号
TU411.3
[建筑科学—岩土工程]
-
