Abstract
The interoperability problem arises in heterogeneous systems where different data sources coexist and there is a need for meaningful information sharing. One of the most representive realms of diversity of data representation is the spatio-temporal domain. Spatio-temporal data are most often described according to multiple and greatly diverse perceptions or viewpoints, using different terms and with heterogeneous levels of detail. Reconciling this heterogeneity to build a fully integrated database is known to be a complex and currently unresolved problem, and few formal approaches exist for the integration of spatio-temporal databases. The paper discusses the interoperation issue in the context of conceptual schema integration. Our proposal relies on two well-known formalisms: conceptual models and description logics. The MADS conceptual model with its multiple representation capabilities allows to fully describe semantics of the initial and integrated spatio-temporal schemas. Description logics are used to express the set of inter-schema mappings. Inference mechanisms of description logics allow us to check the compatibility of the semantic mappings and to propose different structural solutions for the integrated schema.
This work is supported, in the framework of the EPFL Centre for Global Computing, by the Swiss National Funding Agency OFES as part of the European projects KnowledgeWeb (FP6-507482) and DIP (FP6-507483). It is also supported by the MICS NCCR funded by FNRS in Switzerland, under grant number 5005-67322.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Sheth, A., Larson, J.: Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computer Surveys, 183–236 (1990)
Garcia-Molina, H., Hammer, J., Ireland, K., Papakonstantinou, Y., Ullman, J., Widom, J.: Integrating and accessing heterogeneous information sources in TSIMMIS. In: Proc. of AAAI Spring Symposium on Information Gathering, Stanford, California (1995)
Rahm, E., Bernstein, P.: A survey of approaches to automatic schema matching. The VLDB Journal, 334–350 (2001)
Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: the state of the art. The Knowledge Engineering Review 18, 1–31 (2003)
Ehrig, M., Sure, Y.: Ontology mapping - an integrated approach. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol. 3053, pp. 76–91. Springer, Heidelberg (2004)
Doan, A., Madhavan, J., Domingos, P., Halevy, A.: Ontology matching: A machine learning approach. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies in Information Systems, pp. 397–416. Springer, Heidelberg (2004)
Doan, A., Madhavan, J., Domingos, P., Halevy, A.: Learning to map between ontologies on the Semantic Web. In: Proc. of International WWW conference, WWW 2002, Honolulu, Hawaii, USA (2002)
Dhamankar, R., Lee, Y., Doan, A., Halevy, A., Domingos, P.: iMAP: Discovering Complex Semantic Matches between Database Schemas. In: Proc. of the 2004 ACM SIGMOD International Conference on Management of Data, Paris, France, pp. 383–394. ACM Press, New York (2004)
Catarci, T., Lenzerini, M.: Representing and using interschema knowledge in cooperative information systems. Journal of Intelligent and Cooperative Information Systems 2, 375–398 (1993)
Calvanese, D., de Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Information integration: Conceptual modeling and reasoning support. In: CoopIS 1998, pp. 280–291 (1998)
Calvanese, D., de Giacomo, G., Lenzerini, M.: A Framework for Ontology Integration. In: Proceedings of SWWS 2001, The First Semantic Web Working Symposium Stanford University, California, USA, pp. 303–306 (2001)
Devogele, T., Parent, C., Spaccapietra, S.: On spatial database integration. International Journal of Geographic Information Systems, Special Issue on System Integration 3, 335–352 (1998)
Madhavan, J., Bernstein, P., Domingos, P., Halevy, A.: Representing and reasoning about mappings between domain models. In: Proc. of the AAAI Eighteenth National Conference on Artificial Intelligence, Edmonton, Alberta, Canada. American Association for Artificial Intelligence, pp. 80–86 (2002)
Halevy, A.Y., Ives, Z.G., Mork, P., Tatarinov, I.: Data Management Infrastructure for Semantic Web Applications. In: Proc. of International WWW Conference, WWW 2003, pp. 556–567 (2003)
Wache, H., Vögele, T., Visser, U., Stuckenschmidt, H., Schuster, G., Neumann, H., Hübner, S.: Ontology-Based Integration of Information - A Survey of Existing Approaches. In: Proceedings of the IJCAI 2001 Workshop on Ontologies and Information Sharing, Seattle, USA (2001)
Fonseca, F., Davis, C., Câmara, C.: Bridging ontologies and conceptual schema in geographical information integration. Geoinformatica 7, 355–378 (2003)
Hakimpour, F., Geppert, A.: Global schema generation using formal ontologies. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 307–321. Springer, Heidelberg (2002)
Fonseca, F., Egenhofer, M., Agouri, P., Câmara, C.: Using ontologies for integrated geographic information systems. Transactions in GIS 6, 231–257 (2002)
MurMur project: MurMur consortium: Multi-representations and Multiple resolution in geographic databases (2002), http://lbdwww.epfl.ch/e/MurMur
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. Logic Journal of the IGPL 8, 161–180 (2000)
Berardi, D., Calvanese, D., de Giacomo, G.: Reasoning on UML class diagrams using description logic based systems. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol. 2174. Springer, Heidelberg (2001), http://ceur-ws.org/Vol-44/
Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An Overview. Fundamenta Informaticae 46, 1–29 (2001)
Gerevini, A., Nebel, B.: Qualitative spatio-temporal reasoning with RCC-8 and Allen’s interval calculus: Computational complexity. In: Proceedings of ECAI 2002, pp. 312–316. IOS Press, Amsterdam (2002)
Wessel, M.: On spatial reasoning with description logics - position paper. In: Proc. of the International Workshop in Description Logics 2002 (DL 2002), Touluse, France (2002)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: \(\mathcal{E}\)-connections of abstract description systems. Artif. Intell. 156, 1–73 (2004)
Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Proc. of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI), Sydney, Australia, pp. 452–457 (1991)
Haarslev, V., Lutz, C., Möller, R.: A description logic with concrete domains and a role-forming predicate operator. Journal of Logic and Computation 9 (1999)
Lutz, C.: Description logics with concrete domains—a survey. In: Advances in Modal Logics, vol. 4. King’s College Publications (2003)
Sotnykova, A., Monties, S., Spaccapietra, S.: Semantic integration in MADS conceptual model. In: Bestougeff, H., Thuraisingham, B. (eds.) Heterogeneous Information Exchange and Organizational Hubs. Kluwer, Dordrecht (2002)
Dupont, Y.: Resolving Fragmentation Conflicts in Schema Integration. In: Loucopoulos, P. (ed.) ER 1994. LNCS, vol. 881, pp. 513–532. Springer, Heidelberg (1994)
Haarslev, V., Möller, R.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sotnykova, A., Vangenot, C., Cullot, N., Bennacer, N., Aufaure, MA. (2005). Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration. In: Spaccapietra, S., Zimányi, E. (eds) Journal on Data Semantics III. Lecture Notes in Computer Science, vol 3534. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11496168_7
Download citation
DOI: https://doi.org/10.1007/11496168_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26225-1
Online ISBN: 978-3-540-31551-3
eBook Packages: Computer ScienceComputer Science (R0)