东南大学学报（英文版）2020，Vol.36Issue(1)：1-7,7.DOI:10.3969/j.issn.1003-7985.2020.01.001
基于整数线性规划的分层OWL本体修正
Revision of stratified OWL ontologies based on integer linear programming
摘要
Abstract
To revise stratified web ontology language ( OWL) ontologies, the kernel revision operator is extended by defining novel conflict stratification and the incision function based on integer linear programming ( ILP ) . The ILP-based model considers an optimization problem of minimizing a linear objective function which is suitable for selecting the minimal number of axioms to remove when revising ontologies. Based on the incision function, a revision algorithm is proposed to apply ILP to all minimal incoherence-preserving subsets ( MIPS) . Although this algorithm can often find a minimal number of axioms to remove, it is very time-consuming to compute MIPS. Thus, an adapted revision algorithm to deal with unsatisfiable concepts individually is also given. Experimental results reveal that the proposed ILP-based revision algorithm is much more efficient than the commonly used algorithm based on the hitting set tree. In addition, the adapted algorithm can achieve higher efficiency, while it may delete more axioms.关键词
本体修正/不一致性处理/语义网/整数线性规划Key words
ontology revision/inconsistency handling/semantic web/integer linear programming分类
信息技术与安全科学引用本文复制引用
季秋,漆桂林,Boutouhami Khaoula..基于整数线性规划的分层OWL本体修正[J].东南大学学报（英文版）,2020,36(1):1-7,7.基金项目
The National Natural Science Foundation of China ( No. 61602259, U1736204) , Research Foundation for Advanced Tal-ents of Nanjing University of Posts and Telecommunications ( No. NY216022) , the National Key Research and Development Program of China ( No. 2018YFC0830200) . （ No. 61602259, U1736204）
