An Integer 0-1 Linear Programming Approach for Computing Inconsistency Degree in Product-Based Possibilistic DL-Lite

This paper considers the problem of computing inconsistency degree of uncertain knowledge bases expressed in product-based possibilistic DL-Lite, which is an extension of DL-Lite to deal with uncertainty in the product-based possibility theory framework. Indeed, computing the inconsistency degree is at the heart of any query answering process in such knowledge bases. Unlike previous work where uncertainty is only considered at the ABox level, in the present work both ABox and TBox may be uncertain. We discuss the new form of conflicts and how to obtain them by a generalized negative closure procedure. Then, we model the inconsistency degree computation as an integer 0-1 linear programming problem and we show the efficiency of this choice by a comparison with two other solutions, using the weighted Max-SAT and the approximate greedy algorithm for the weighted set cover problem, respectively.

[1]  Fernando Bobillo,et al.  Reasoning in Fuzzy OWL 2 with DeLorean , 2010, URSW.

[2]  Salem Benferhat,et al.  Algorithms for Quantitative-Based Possibilistic Lightweight Ontologies , 2016, IEA/AIE.

[3]  Riccardo Rosati,et al.  Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access , 2013, IJCAI.

[4]  Jianfeng Du,et al.  Extending description logics with uncertainty reasoning in possibilistic logic , 2007, Int. J. Intell. Syst..

[5]  Guilin Qi,et al.  Instance-Driven Ontology Evolution in DL-Lite , 2015, AAAI.

[6]  Thomas Lukasiewicz,et al.  Generalized Consistent Query Answering under Existential Rules , 2016, KR.

[7]  Salem Benferhat,et al.  Representing Lightweight Ontologies in a Product-Based Possibility Theory Framework , 2016, SMPS.

[8]  Jianfeng Du,et al.  PossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling , 2010, ESWC.

[9]  Bijan Parsia,et al.  Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.

[10]  Jochen Heinsohn,et al.  Probabilistic Description Logics , 1994, UAI.

[11]  Alessandro Artale,et al.  DL-Lite with Attributes and Datatypes , 2012, ECAI.

[12]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[13]  Salem Benferhat,et al.  A refresher on DL-Lite logic , 2015 .

[14]  Riccardo Rosati,et al.  On the Complexity of Dealing with Inconsistency in Description Logic Ontologies , 2011, IJCAI.

[15]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[16]  Guilin Qi,et al.  Probabilistic Reasoning in DL-Lite , 2012, PRICAI.