.png){kind=icon}
返回
Resolving Logical Contradictions in Description Logic Ontologies Based on Integer Linear Programming
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2019.2919498.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
When resolving logical contradictions in ontologies, Reiter's hitting set tree algorithm is often applied to satisfy the minimal change principle. To improve the efficiency, the researchers have proposed various algorithms by using a scoring function, defining new semantics or applying some heuristic strategies. However, these algorithms either sacrifice minimal change or are designed for less expressive ontologies like DL-Lite. In this paper, we propose a mathematic approach based on integer linear programming, which is an optimization problem of maximizing or minimizing a linear objective function, to deal with DL ontologies. Specifically, we define the integer linear programming-based model to resolve logical contradictions. To realize the model, we propose one algorithm to find a cardinality-minimal solution and two algorithms dealing with weighted ontologies. Our experiments are conducted over 70 real-life and artificial ontologies to compare our algorithms with those hitting set tree-based ones. Through the experiments, the prominent efficiency and effectiveness have been exhibited by our algorithms. They usually take about 0.4 s to find a solution while others spend more than 100 s in many cases. The experimental results also show that the first two algorithms could find the cardinality-minimal solutions and those with a minimal sum of weights, respectively.
Keyword:
Logical contradictions
inconsistency handling
ontology repair
semantic web
integer linear programming
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
.png){kind=icon}
分享收藏
查看更多内容