Filters








5,182 Hits in 4.2 sec

Recognizing Determinism in Prioritized Repairing of Inconsistent Databases

Benny Kimelfeld, Ester Livshits, Liat Peterfreund
2016 Alberto Mendelzon Workshop on Foundations of Data Management  
A repair of an inconsistent database is traditionally defined as a consistent database that differs from the inconsistent one in a "minimal way."  ...  a priority relation between consistent databases, and repairs are restricted to ones that are optimal in the lifted sense.  ...  We then get the following variants of preferred repairs for an inconsistent prioritizing database D = (I, H, ).  ... 
dblp:conf/amw/KimelfeldLP16 fatcat:yfnm5izef5fadbawb3c7gkoq7y

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2020 Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning  
Different inconsistency-tolerant semantics have been proposed, and most of them are based on the notion of repair, that is, a "maximal" consistent subset of the database.  ...  In general, there can be several repairs, so it is often natural and desirable to express preferences among them.  ...  Since inconsistency can be resolved in different ways, in general there are multiple repairs, which are then used in various ways to determine "valid" query answers.  ... 
doi:10.24963/kr.2020/21 dblp:conf/kr/CalauttiGMT20 fatcat:q6pjo5rkbnbvtolkneia4rdbhm

Query Answering with Inconsistent Existential Rules under Stable Model Semantics [article]

Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
2016 arXiv   pre-print
Traditional inconsistency-tolerent query answering in ontology-based data access relies on selecting maximal components of an ABox/database which are consistent with the ontology.  ...  In this paper we present a framework of handling inconsistent existential rules under stable model semantics, which is defined by a notion called rule repairs to select maximal components of the existential  ...  Hai Wan's research was in part supported by the National Natural Science Foundation of China under grant 61573386, Natural Science Foundation of Guangdong Province of China under grant S2012010009836,  ... 
arXiv:1602.05699v1 fatcat:llhuma2bvjg4xlpdbdabnlr7uq

Query Answering with Inconsistent Existential Rules under Stable Model Semantics

Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
2016 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
In this paper we present a framework of handling inconsistent existential rules under stable model semantics, which is defined by a notion called rule repairs to select maximal components of the existential  ...  Classical inconsistency-tolerant query answering relies on selecting maximal components of an ABox/database which are consistent with the ontology.  ...  Hai Wan's research was in part supported by the National Natural Science Foundation of China under grant 61573386 and 61463044, Natural Science Foundation of Guangdong Province of China under grant S2012010009836  ... 
doi:10.1609/aaai.v30i1.10085 fatcat:6wu4wm3yuneqxmnk6gajr226by

From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back [article]

Leopoldo Bertossi, Babak Salimi
2016 arXiv   pre-print
The vast body of research on database repairs can be applied to the newer problems of computing actual causes for query answers and their responsibilities.  ...  In this work we establish and investigate connections between causes for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis.  ...  Conversations with Alexandra Meliou during Leo Bertossi's visit to U. of Washington in 2011 are much appreciated. He is also grateful to Dan Suciu and Wolfgang Gatterbauer for their hospitality. L.  ... 
arXiv:1507.00257v3 fatcat:muuv4mxcezd5da5bkt2yfjmcvu

Properties of Inconsistency Measures for Databases [article]

Ester Livshits, Rina Kochirgan, Segev Tsur, Ihab F. Ilyas, Benny Kimelfeld, Sudeepa Roy
2021 arXiv   pre-print
How should we quantify the inconsistency of a database that violates integrity constraints?  ...  We embark on a systematic investigation of properties for database inconsistency measures.  ...  We also thank the reviewers of this paper for very helpful comments and suggestions.  ... 
arXiv:1904.06492v4 fatcat:grkbrofopfbkhpwnoxbihlpxyy

Making the best of a bad situation: Prioritized storage management in GEMS

J.M. Wozniak, P. Brenner, D. Thain, A. Striegel, J.A. Izaguirre
2008 Future generations computer systems  
The GEMS framework offers a solution to this problem by accessing metadata, prioritizing observed faults, and repairing them in an intelligent manner.  ...  As distributed storage systems grow, the response time between detection and repair of the error becomes significant.  ...  Failed Failure Responses One challenge in the field of fault tolerance has been the determination of when to abort attempts at repair if the repair operation itself continues to fail.  ... 
doi:10.1016/j.future.2007.04.003 fatcat:wkhecflpejaopm36ulwd5xkgr4

Database principles in information extraction

Benny Kimelfeld
2014 Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '14  
In addition, the tutorial highlights opportunities for research impact through principles of data management, illustrates these opportunities through recent work, and proposes directions for future research  ...  This task is pervasive in contemporary computational challenges associated with Big Data.  ...  Cleaning Inconsistencies through Database Repairs Databases often involve inconsistency, due to human errors, integration of heterogeneous resources, imprecision entailed in Extract-Transform-Load (ETL  ... 
doi:10.1145/2594538.2594563 dblp:conf/pods/Kimelfeld14 fatcat:dirwetm7yzhvvphrnn3dc63uia

Prioritized assertional-based removed sets revision of DL-Lite belief bases

Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel
2015 Annals of Mathematics and Artificial Intelligence  
Such strategy of revision is based on inconsistency minimization and consists in determining smallest subsets of axioms that should be dropped from the current DL-Lite knowledge base in order to restore  ...  We show in particular, for some revision strategies and some kinds of inputs, that the removed sets revision can be achieved in polynomial time.  ...  Those works are especially inspired by the approaches proposed in databases which are based on the notion of database repair to answering queries raised to inconsistent databases.  ... 
doi:10.1007/s10472-015-9494-2 fatcat:5wqexvbvvvajdmcla6wv2atzv4

Cleaning inconsistencies in information extraction via prioritized repairs

Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren
2014 Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '14  
Specifically, building upon the formalism of document spanners for IE, we adopt the concept of prioritized repairs, which has been recently proposed as an extension of the traditional database repairs  ...  We embark on the establishment of a framework for declarative cleaning of inconsistencies in IE, though principles of database theory.  ...  Conflicts and Priorities The database research community has established the concept of repairs as a mechanism for handling inconsistencies in a declarative fashion [3] .  ... 
doi:10.1145/2594538.2594540 dblp:conf/pods/FaginKRV14 fatcat:hslqgvt4yfcile4h7wtruoz6lq

Acceptability-oriented computing

Martin Rinard
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
The potential advantages of this approach include more flexible, resilient systems that recover from errors and behave acceptably across a wide range of operating environments, an appropriately prioritized  ...  The developer then augments the system with a layered set of components, each of which enforces one of the acceptability properties.  ...  Also, some of the ideas in this paper were honed in collaboration with Daniel Jackson when we worked together to prepare a grant proposal; in particular, the discussion of the trade-off between functionality  ... 
doi:10.1145/949344.949402 dblp:conf/oopsla/Rinard03 fatcat:55qocdaabrbonm4x55mepptmdy

Acceptability-oriented computing

Martin Rinard
2003 SIGPLAN notices  
The potential advantages of this approach include more flexible, resilient systems that recover from errors and behave acceptably across a wide range of operating environments, an appropriately prioritized  ...  The developer then augments the system with a layered set of components, each of which enforces one of the acceptability properties.  ...  Also, some of the ideas in this paper were honed in collaboration with Daniel Jackson when we worked together to prepare a grant proposal; in particular, the discussion of the trade-off between functionality  ... 
doi:10.1145/966051.966060 fatcat:37lorddgkvdnhhu6diuf6k654a

Acceptability-oriented computing

Martin Rinard
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
The potential advantages of this approach include more flexible, resilient systems that recover from errors and behave acceptably across a wide range of operating environments, an appropriately prioritized  ...  The developer then augments the system with a layered set of components, each of which enforces one of the acceptability properties.  ...  Also, some of the ideas in this paper were honed in collaboration with Daniel Jackson when we worked together to prepare a grant proposal; in particular, the discussion of the trade-off between functionality  ... 
doi:10.1145/949399.949402 fatcat:sgiwxnwuqjftzo3wnr7fgcthdm

Declarative Cleaning of Inconsistencies in Information Extraction

Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren
2016 ACM Transactions on Database Systems  
Specifically, building upon the formalism of document spanners for IE, we adopt the concept of prioritized repairs, which has been recently proposed as an extension of the traditional database repairs  ...  We embark on the establishment of a framework for declarative cleaning of inconsistencies in IE through principles of database theory.  ...  We do so by adopting the framework of Staworko et al. [2012] that was proposed in the context of inconsistent databases.  ... 
doi:10.1145/2877202 fatcat:rkgfhc7nkjcg7gs7jfau3mngka

Data-driven Application of PHM to Asset Strategies

Sarah Lukens, Matt Markham
2018 Proceedings of the Annual Conference of the Prognostics and Health Management Society, PHM  
In this paper, we present a case study applied to historical maintenance data for identifying and prioritizing where to start a PHM initiative, and discuss the work processes and various challenges encountered  ...  In this framework, application of PHM technologies is viewed as a maintenance strategy effective at mitigating certain failure modes in specific cases that are both feasible and costeffective.  ...  We also acknowledge Roy Whitt and Paul Casto for their mentorship in all things risk assessment and asset reliability.  ... 
doi:10.36001/phmconf.2018.v10i1.245 fatcat:bet4uvdu3bgpjishkz7lkcdedq
« Previous Showing results 1 — 15 out of 5,182 results