Filters








614 Hits in 6.5 sec

Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases

Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2019 The Journal of Artificial Intelligence Research  
Several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases.  ...  We define explanations for positive and negative answers under the brave, AR and IAR semantics. We then study the computational properties of explanations in DL-LiteR.  ...  Conjunctive query answering and instance checking under AR semantics over DL-Lite R knowledge bases are both coNP-complete w.r.t. data complexity.  ... 
doi:10.1613/jair.1.11395 fatcat:5o7b52euq5duhei6m4mrp2lnba

Efficient Federated Debugging of Lightweight Ontologies [chapter]

Andreas Nolle, Christian Meilicke, Heiner Stuckenschmidt, German Nemirovski
2014 Lecture Notes in Computer Science  
We further explain how these queries can be used for pinpointing those assertions that cause inconsistencies and discuss finally some experimental evaluation results of our implementation.  ...  been developed for processing of locally available knowledge bases.  ...  Inconsistency Detection In this section we first explain different clash types that may occur in a DL-Lite A -based knowledge base.  ... 
doi:10.1007/978-3-319-11113-1_17 fatcat:g2bnxbi7bnhazev6dmcxqhzfta

Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)

Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2015 International Workshop on Description Logics  
query answers over DL-Lite A  ...  With regards to conjunctive queries (CQs), a proof-theoretic approach to explaining positive answers to CQs over DL-Lite A KBs was introduced in [8], and, more recently, the problem of explaining negative  ...  Our prototype runs in two modes: either it explains some selected query answers, or all the answers as they are being computed.  ... 
dblp:conf/dlog/BienvenuBG15 fatcat:w2cccxxttraoziawipadc746l4

Lexicographic Repair Under Querying Prioritised DL-Lite Knowledge Bases

Telli Abdelmoutia, Hamdi Ghassen, Omri Nazih
2021 Basic and Applied Sciences - Scientific Journal of King Faisal University  
This article discusses the issue of inconsistency in responses from various DL-Lite knowledge bases.  ...  The solution that we present to solve this problem is articulated around two phases: the first phase consists of interrogating the different knowledge bases to retrieve all of the possible answers, which  ...  In addition, this paper uses DL-Lite Du and Shen (2013) due to its efficiency in conjunctive query answering and computing contradictory knowledge.  ... 
doi:10.37575/b/sci/0054 fatcat:67u4fqmntbc5tb2lhxuwvehzbe

Querying of Several DL-Lite Knowledge Bases from Various Information Sources-based Polynomial Response Unification Approach

Ghassen Hamdi, Abdelmoutia Telli, Mohamed Nazih Omri
2020 Journal of King Saud University: Computer and Information Sciences  
We introduce the management of this inconsistency problem to query the inconsistent DL-Lite knowledge bases.  ...  Most of the approaches studied in the literature first repair all of the inconsistent assertions in the DL-Lite incoherent knowledge base and then question it.  ...  over arbitrary DLs for answering queries over inconsistent DL knowledge bases.  ... 
doi:10.1016/j.jksuci.2020.06.002 fatcat:ynhbrgv2mfbo3k6xdr7tdc67ia

Recursive algorithms to repair prioritized and inconsistent dl-lite knowledge base [article]

Ghassen Hamdi and Abdelmoutia Telli and Mohamed Nazih Omri
2019 arXiv   pre-print
We introduce the handling of this inconsistency problem to query inconsistent DL-Lite knowledge bases.  ...  In the literature, firstly, repair all the inconsistent assertions of the DL-Lite's inconsistent knowledge base. Then, interrogate it.  ...  Conclusion We focused in this work on the problem of inconsistency answers over prioritized DL-Lite Knowledge Bese.  ... 
arXiv:1912.02898v1 fatcat:5qyd7t23frhtflcijdvdqwgqye

Reasoning in inconsistent prioritized knowledge bases: an argumentative approach

Loan Thi-Thuy Ho, Somjit Arch-int, Ngamnij Arch-int
2022 International Journal of Power Electronics and Drive Systems (IJPEDS)  
<p>A study of query answering in prioritized ontological knowledge bases (KBs) has received attention in recent years.  ...  While several semantics of query answering have been proposed and their complexity is rather well-understood, the problem of explaining inconsistency-tolerant query answers has paid less attention.  ...  Computer Science, Khon Kaen University  ... 
doi:10.11591/ijece.v12i3.pp2944-2954 fatcat:2aabpm7n7rd6jhlyrnj65ymvcy

Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases

Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2016 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
Several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases.  ...  This paper addresses the problem of explaining why a tuple is a (non-)answer to a query under such semantics.  ...  More recently, the problem of explaining negative query answers over DL-Lite A KBs has been studied (Calvanese et al. 2013) .  ... 
doi:10.1609/aaai.v30i1.10092 fatcat:fpbmwaxr35h63n3n4n46hsun3m

Inconsistency-tolerant query answering in ontology-based data access

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2015 Journal of Web Semantics  
Given a DL language L, an L knowledge base, or simply a DL knowledge base when L is clear from the context, over an alphabet Γ is a pair K = T , A , where: • T , called the TBox of K, is a finite set of  ...  the data and formulating queries over them.  ...  Thus, inconsistency-tolerant query answering amounts to computing the tuples that are answers to the query in all possible repairs. In this paper we use the notion of repair in DL knowledge bases.  ... 
doi:10.1016/j.websem.2015.04.002 fatcat:kcrhpvmymzaonmngkey5i43pkq

Cleaning Inconsistent Data in Temporal DL-Lite Under Best Repair Semantics [article]

Mourad Ouziri, Mourad Ouzirri
2021 arXiv   pre-print
Considering the data part of the Knowledge Base as the source of inconsistency over time, we propose an ABox repair approach. This is the first work handling the repair in TDL Knowledge bases.  ...  In this paper, we address the problem of handling inconsistent data in Temporal Description Logic (TDL) knowledge bases.  ...  So far, query answering has been extended to the temporal setting in light-weight DLs over inconsistent data, allowing both rigid concepts and roles whose interpretations do not change over time and different  ... 
arXiv:2108.12149v2 fatcat:2ddzacmp6jgjldkjuquirzhbtm

Answering Counting Aggregate Queries over Ontologies of the DL-Lite Family

Egor Kostylev, Juan Reutter
2013 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
We establish data and combined computational complexity for the problems of answering counting aggregate queries over ontologies for several variants of DL-Lite.  ...  In fact, some description logics, like those in the DL-Lite family, are designed so that simple queries, such as conjunctive queries, are efficiently computable.  ...  Acknowledgments We thank Evgeny Kharlamov and Dmitriy Zheleznyakov for introduction into the area, and Peter Buneman for useful discussions.  ... 
doi:10.1609/aaai.v27i1.8646 fatcat:zln7axokfjbaloqg2duysvc76a

Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics

Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2014 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
Recently several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases.  ...  We analyze the complexity of query answering under the resulting semantics, focusing on the lightweight logic DL-Lite_R.  ...  To address this issue, several different inconsistencytolerant semantics have been proposed for querying inconsistent DL knowledge bases.  ... 
doi:10.1609/aaai.v28i1.8855 fatcat:mrur5roeo5cy3g5t6hxs2vpbwi

Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report

Meghyn Bienvenu
2019 International Workshop on Description Logics  
This paper accompanies an invited talk on inconsistency handling in OMQA and presents a concise summary of the research that has been conducted in the area.  ...  DL community at large for providing a scientifically stimulating and friendly research environment.  ...  Acknowledgements Let me take this opportunity to thank the steering committee and workshop chairs for asking me to be an invited speaker, and while I'm at it, a big thanks to my many co-authors and the  ... 
dblp:conf/dlog/Bienvenu19 fatcat:3ui6mbv7fndldgrduhwsc6bnwi

Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies [chapter]

Riccardo Rosati, Marco Ruzzi, Mirko Graziosi, Giulia Masotti
2012 Lecture Notes in Computer Science  
The central aspect of QuID is that it implements two different, orthogonal strategies for dealing with inconsistency: ABox repairing techniques, based on data manipulation, and consistent query answering  ...  techniques, based on query rewriting.  ...  Then, in [6] a technique for query answering under IAR-semantics in DL-Lite A is presented: instead of modifying the ABox, this method is based on computing a rewriting Q of the initial query Q and then  ... 
doi:10.1007/978-3-642-35173-0_23 fatcat:kyfzsdvgazfx5fawmdtd4wbbta

Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2012 International Workshop on Description Logics  
We adopt an inconsistency-tolerant semantics for such a DL, specifically the so-called Intersection ABox Repair (IAR) semantics, and we study query answering in this setting.  ...  By virtue of this technique, we prove that conjunctive query answering under such semantics is first-order rewritable in the considered extension of DL-Lite.  ...  The reasoning service of main interest is query answering, which amounts to process a query expressed in terms of the ontology alphabet, and to compute its answer on the basis of the knowledge specified  ... 
dblp:conf/dlog/LemboLRRS12 fatcat:7q3hrvmdgndgzp6hptnc6wpnb4
« Previous Showing results 1 — 15 out of 614 results