Finding Successful Queries in a Mediator Context

  • Alain Bidault
  • Christine Froidevaux
  • Brigitte Safar
Conference paper
Part of the Advances in Soft Computing book series (AINSC, volume 7)


In this paper, we study failing queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system PICSEL1. First, we present the notion of concept generalisation in a concept hierarchy that is used to repair failing queries. Then, we address two problems arising while rewriting a query using views. The first problem concerns queries that cannot be rewritten due to a lack of sources, the second one concerns queries that have only unsatisfiable rewritings.


Description Logic Integrity Constraint Direct Generalisation Inductive Logic Programing Concept Hierarchy 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Y. Arens, C. A. Knoblock and W.-M. Shen. Query reformulation for dynamic information integration. J. Intelligent Information System, 6, 96.Google Scholar
  2. [2]
    A. Bidault, C. Froidevaux and B. Safar. Repairing Queries in a Mediator Approach. ECAI 2000, Berlin.Google Scholar
  3. [3]
    Chang and Lee. Symbolic Logic and Mechanical Theorem Proving, 100–121, Academic Press, 73.Google Scholar
  4. [4]
    L. Cholvy Answering queries addressed to a group of deductive databases. In Workshop on Flexible Query-Answering Systems, Danemark, May 96.Google Scholar
  5. [5]
    L. Cholvy and R. Demolombe Querying a Rule Base. In Expert Database Systems, Larry Kerschberg Editor, 477–485, 1987.Google Scholar
  6. [6]
    W. Chu and Q. Chen. A Structured Approach for Cooperative Query Answering. IEEE Transactions on Knowledge and Data Engineering,6(5):738–749, October 94.Google Scholar
  7. [7]
    S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman, and J. Widom. The TSIMMIS project: Integration of heterogenous information sources. In Proceedings of IPSJ, Tokyo, October 94.Google Scholar
  8. [8]
    T. Gaasterland, P. Godfrey and J. Minker. Relaxation as a Platform of Cooperative Answering. Journal of Intelligent Information Systems,Vol. 1, No: 3/4, 293–321, December 92.Google Scholar
  9. [9]
    T. Gaasterland. Cooperative Answering through Controlled Query Relaxation. IEEE Expert,48–59, Sept-Oct 97.Google Scholar
  10. [10]
    T. Gaasterland, P. Godfrey, and J. Minker. An overview of Cooperative Answering. Journal of Intelligent Information Systems, (1) 123–157, 92.Google Scholar
  11. [11]
    A. Gal. Cooperative Responses in Deductive Databases. PhD thesis, Departement of Computer Science, University of Maryland,88.Google Scholar
  12. [12]
    M. R. Genesereth, A. M. Keller, and O. M. Duschka. Infomaster: An information integration system. In Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD-97,97.Google Scholar
  13. [13]
    E Goasdoué, V. Lattes and M.-C. Rousset. The Use of CARIN Language and Algorithms for Information Integration: The PICSEL Project. In Int. J. of Cooperative Information Syst. 99. Google Scholar
  14. [14]
    P. Godfrey. Minimization in cooperative response to failing databases queries. Int. J. of Cooperative Information Syst. 6(2): 95–149, 97.Google Scholar
  15. [15]
    A. Levy, A. Rajamaran, J. Ordille. Query-answering algorithms for information agents. Proc AAAI’96,40–47.Google Scholar
  16. [16]
    A. Levy and M.-C. Rousset. Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence, 104, 165–209, 98.Google Scholar
  17. [17]
    J. Minker. An overview of Cooperative Answering in Databases In Proc FQAS’98,282–285, May 98.Google Scholar
  18. [18]
    A. Motro. Intensional Answers to Database Queries. IEEE,6(3), 444–454, June 94.Google Scholar
  19. [19]
    A. Motro. Flex: A tolerant and cooperative user interface to databases. IEEE Transactions on Knowledge and Data Engineering,2(2):231–246, June 90.Google Scholar
  20. [20]
    A. Pirotte, Dominique Roelants and Esteban Zimanyi Controlled Generation of Intensional Answers IEEE Transactions on Knowledge and Data Engineering,3(2):221–236, June 91.Google Scholar
  21. [21]
    C. Rouveirol. Flattering and Saturation: Two Representation Changes for Generalization. Machine Learning, 14, 219–232, 94.Google Scholar
  22. [22]
    M. Sebag and C. Rouveirol. Induction of Maximally General Clauses Consistent with Integrity Constraints. Proc 4th Int. Workshop on Inductive Logic Programming,195–215, ILP-94.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Alain Bidault
    • 1
  • Christine Froidevaux
    • 1
  • Brigitte Safar
    • 1
  1. 1.L.R.I., C.N.R.S and Université Paris-Sud Bâtiment 490Orsay CedexFrance

Personalised recommendations