Description Logic Knowledge Base Exchange

  • Elena Botoeva
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7497)


Data exchange is a field of database theory that deals with transferring data between differently structured databases, with motivation coming from industry [21,17]. The starting point of intensive investigation of the problem of data exchange was given in [14] where it was defined as, given data structured under a source schema and a mapping specifying how it should be translated to a target schema, to transform the source data into data structured under the target schema such that it accurately reflects the source data w.r.t. the mapping. This problem has been studied for different combinations of languages used to specify the source and target schema, and the mappings [8]. Most of the results in the literature consider tuple generating dependencies (tgds) as the language to specify mappings. Tgds allow one to express containment of conjunctive queries, and have been widely employed in other areas of database theory. Furthermore, once a target instance is materialized, one mightwant to perform query answering over it.


Data Exchange Description Logic Target Schema Conjunctive Query Universal Solution 
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.
    Arenas, M., Botoeva, E., Calvanese, D.: Knowledge base exchange. In: Proc. of DL 2011, vol. 745. CEUR (2011),
  2. 2.
    Arenas, M., Botoeva, E., Calvanese, D., Ryzhikov, V., Sherkhonov, E.: Exchanging description logic knowledge bases. In: Proc. of KR 2012 (2012)Google Scholar
  3. 3.
    Arenas, M., Botoeva, E., Calvanese, D., Ryzhikov, V., Sherkhonov, E.: Representability in dl-liter knowledge base exchange. In: Proc. of the 25th Int. Workshop on Description Logics, DL 2012 (2012)Google Scholar
  4. 4.
    Arenas, M., Pérez, J., Reutter, J.L.: Data exchange beyond complete data. In: Proc. of PODS 2011, pp. 83–94 (2011)Google Scholar
  5. 5.
    Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1–69 (2009)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \({\mathcal{EL}}\) envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 364–369 (2005)Google Scholar
  7. 7.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)Google Scholar
  8. 8.
    Barcelò, B.: Logical foundations of relational data exchange. SIGMOD Record 38(1), 49–58 (2009)CrossRefGoogle Scholar
  9. 9.
    Bernstein, P.A.: Applying model management to classical meta data problems. In: CIDR (2003)Google Scholar
  10. 10.
    Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF Schema. W3C Recommendation, World Wide Web Consortium (February 2004),
  11. 11.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3), 385–429 (2007)zbMATHCrossRefGoogle Scholar
  12. 12.
    Choi, N., Song, I.-Y., Han, H.: A survey on ontology mapping. SIGMOD Rec. 35(3), 34–41 (2006)CrossRefGoogle Scholar
  13. 13.
    Euzenat, J., Meilicke, C., Stuckenschmidt, H., Shvaiko, P., Trojahn, C.: Ontology Alignment Evaluation Initiative: Six Years of Experience. In: Spaccapietra, S. (ed.) Journal on Data Semantics XV. LNCS, vol. 6720, pp. 158–192. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  14. 14.
    Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. Theoretical Computer Science 336(1), 89–124 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  15. 15.
    Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: Getting to the core. ACM Trans. on Database Systems 30(1), 174–210 (2005)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Gottlob, G., Nash, A.: Data exchange: Computing cores in polynomial time. In: Proc. of the 25th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2006), pp. 40–49 (2006)Google Scholar
  17. 17.
    Haas, L.M., Hernández, M.A., Ho, H., Popa, L., Roth, M.: Clio grows up: from research prototype to industrial tool. In: Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data, SIGMOD 2005, pp. 805–810. ACM, New York (2005)CrossRefGoogle Scholar
  18. 18.
    Horrocks, I., Sattler, U.: A tableaux decision procedure for \(\mathcal{SHOIQ}\). In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 448–453 (2005)Google Scholar
  19. 19.
    Libkin, L., Sirangelo, C.: Data exchange and schema mappings in open and closed worlds. J. of Computer and System Sciences 77(3), 542–571 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  20. 20.
    Rodriguez-Muro, M., Calvanese, D.: Quest, a system for ontology based data access. In: Proc. of the 9th Int. Workshop on OWL: Experiences and Directions (OWLED 2012) (to appear, 2012)Google Scholar
  21. 21.
    Shu, N.C., Housel, B.C., Taylor, R.W., Ghosh, S.P., Lum, V.Y.: Express: a data extraction, processing, and restructuring system. ACM Trans. Database Syst. 2, 134–174 (1977)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Elena Botoeva
    • 1
  1. 1.KRDB Research CentreFree Univ. of Bozen-BolzanoBolzanoItaly

Personalised recommendations