一种基于图的DL-Lite本体最小不可满足保持子集的计算方法

付雪峰; 漆桂林; 张勇

doi:10.3969/j.issn.0372-2112.2016.09.002

您当前的位置：

首页 >

文章列表页 >

一种基于图的DL-Lite本体最小不可满足保持子集的计算方法

学术论文 | 更新时间：2025-07-16

- 一种基于图的DL-Lite本体最小不可满足保持子集的计算方法
- A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite
- 电子学报 2016年44卷第9期页码：2040-2045
- 作者机构：
  
  1. 南昌工程学院信息工程学院,江西,南昌,330099
  2. 东南大学计算机科学与工程学院,江苏,南京,210096
  3. 南昌工程学院信息工程学院,江西,南昌,330099
  4. 东南大学计算机科学与工程学院,江苏,南京,210096
- 作者简介：
- 基金信息：
  
  国家“八六三”高技术研究发展计划基金项目 (No.2015AA015406）;国家自然科学基金 (No.61272378）;江西省教育厅青年科学基金项目 (No.GJJ12643）
- DOI：10.3969/j.issn.0372-2112.2016.09.002
  中图分类号： TP391
- 网络出版：2016-09-25，
  
  纸质出版：2016
- 稿件说明：
移动端阅览
付雪峰, 漆桂林, 张勇. 一种基于图的DL-Lite本体最小不可满足保持子集的计算方法[J]. 电子学报, 2016,44(9):2040-2045.

FU Xue-feng, QI Gui-lin, ZHANG Yong. A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite[J]. Acta Electronica Sinica, 2016, 44(9): 2040-2045.
付雪峰, 漆桂林, 张勇. 一种基于图的DL-Lite本体最小不可满足保持子集的计算方法[J]. 电子学报, 2016,44(9):2040-2045. DOI： 10.3969/j.issn.0372-2112.2016.09.002.

FU Xue-feng, QI Gui-lin, ZHANG Yong. A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite[J]. Acta Electronica Sinica, 2016, 44(9): 2040-2045. DOI： 10.3969/j.issn.0372-2112.2016.09.002.

摘要

演变中的本体常出现不一致性问题，这将导致标准推理失效.针对不一致性问题，最小不可满足保持子集能够提供本体中概念不可满足的解释.计算最小不可满足保持子集是本体工程中的一项重要的非标准推理任务，但多数计算方法须借助外部的推理机，导致计算的效率不高.为了减少对推理机的依赖，本文提出了一种基于图的最小不可满足保持子集的计算方法.新的方法面向DL-Lite描述逻辑家族，将DL-Lite本体转换成图，将本体中的最小不可满足保持子集转换成图上的最小不可满足保持路径对.对比实验表明，基于图的方法提高了计算的效率和稳定性.

Abstract

Inconsistency often occurs during ontology evolution

and leads to the invalidity of standard reasoning.Minimal unsatisfiablility-preserving sub-TBox (MUPS) can provide an explanation of the unsatisfiability of a concept in an ontology.Finding all MUPS is an important nonstandard reasoning task in ontology engineering.Most of the approaches for calculating MUPS are built on external description logic reasoners.However

a reasoner-based method can hardly achieve positive efficiency and stability.In this paper

we propose a reasoner-independent approach to calculating MUPS using graph representation.We first transform DL ontologies to graphs

and find MUPS by computing the minimal unsatisfiability-preserving path-pair (MUPP) based on the transformed graphs.We implement and evaluate our approach.The experimental results demonstrate that our approach performs well in efficiency and stability.

关键词

Keywords

references

浏览量

427

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

面向语义构件检索的交互式查询方案生成