Generalizing Conjunctive Queries for Informative Answers

Deductive generalization of queries is one method to provide informative answers to failing queries. We analyze properties of operators that generalize conjunctive queries consisting of positive as well as negative literals. We show that for the stepwise combination of these operators it suffices to apply the operator in one certain order.

[1]  Luc De Raedt,et al.  Induction in logic , 1996 .

[2]  Thomas Lukasiewicz.  Proceedings of the 7th International Symposium on the Foundations of Information and Knowledge Systems‚ FoIKS 2012‚ Kiel‚ Germany‚ March 5−9‚ 2012 , 2000 .

[3]  G. Plotkin.  Automatic Methods of Inductive Inference , 1972 .

[4]  Ryszard S. Michalski,et al.  A theory and methodology of inductive learning , 1993 .

[5]  Olivier Pivert,et al.  A Method Based on Query Caching and Predicate Substitution for the Treatment of Failing Database Queries , 2010, ICCBR.

[6]  Agostino Cortesi,et al.  Cooperative Query Answering by Abstract Interpretation , 2011, SOFSEM.

[7]  Alexandra Poulovassilis,et al.  Query Relaxation in RDF , 2008, J. Data Semant..

[8]  Amihai Motro.  FLEX: A Tolerant and Cooperative User Interface to Databases , 1990, IEEE Trans. Knowl. Data Eng..

[9]  Parke Godfrey,et al.  Minimization in Cooperative Response to Failing Database Queries , 1994, Int. J. Cooperative Inf. Syst..

[10]  Stefano Spaccapietra.  Journal on Data Semantics X , 2008, Journal on Data Semantics X.

[11]  Witold Litwin,et al.  Applications of Databases , 1994, Lecture Notes in Computer Science.

[12]  Patrick Bosc,et al.  Incremental controlled relaxation of failing flexible queries , 2009, Journal of Intelligent Information Systems.

[13]  Katsumi Inoue,et al.  SOLAR: An automated deduction system for consequence finding , 2010, AI Commun..

[14]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[15]  Hua Yang,et al.  CoBase: A scalable and extensible cooperative information system , 1996, Journal of Intelligent Information Systems.

[16]  Parke Godfrey,et al.  Relaxation as a platform for cooperative answering , 1992, Journal of Intelligent Information Systems.

[17]  Katsumi Inoue,et al.  Minimal Answer Computation and SOL , 2002, JELIA.

[18]  Anthony Hunter,et al.  Merging First-Order Knowledge Using Dilation Operators , 2008, FoIKS.

[19]  Parke Godfrey,et al.  An Architecture for a Cooperative Database System , 1994, ADB.

[20]  Soon-Young Huh,et al.  Providing ranked cooperative query answers using the metricized knowledge abstraction hierarchy , 2007, Expert Syst. Appl..

[21]  Katsumi Inoue,et al.  Consequence finding and computing answers with defaults , 2006, Journal of Intelligent Information Systems.

[22]  Chiaki Sakama,et al.  Negotiation by abduction and relaxation , 2007, AAMAS '07.

[23]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[24]  Marko Vukolic,et al.  SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings , 2011, SOFSEM.