Dynamic description logic model for data integration

HAO Guoshun1, MA Shilong1, LV Jianghua1, SUI Yuefei2

PDF(291 KB)
PDF(291 KB)
Front. Comput. Sci. ›› DOI: 10.1007/s11704-008-0030-y

Dynamic description logic model for data integration

  • HAO Guoshun1, MA Shilong1, LV Jianghua1, SUI Yuefei2
Author information +
History +

Abstract

Data integration is the issue of retrieving and combining data residing at distributed and heterogeneous sources, and of providing users with transparent access without being aware of the details of the sources. Data integration is a very important issue because it deals with data infrastructure issues of coordinated computing systems. Despite its importance, the following key challenges make data integration one of the longest standing problems around: 1) how to solve the system heterogeneity; 2) how to build a global model; 3) how to process queries automatically and correctly; and 4) how to solve semantic heterogeneity.This paper presents an extended dynamic description logic language to describe systems with dynamic actions. By this language, a universal and unified model for relational database systems and a model for data integration are presented. This paper presents a universal and unified description logic model for relational databases. The model is universal because any relational database system can be automatically transformed to the model; it is unified because it integrates three essential components of relational databases together: description logic knowledge bases modeling the relational data, atomic modalities modeling the atomic relational operations, and combined modalities modeling the combined relational operations – queries.Furthermore, a description logic model for data integration is proposed which contains four layers of ontologies. Based on the model, a solution for each key challenge is proposed: a universal model eliminates system heterogeneity; a novel global model including three ontologies is proposed with some important benefits; a query process mechanism is provided by which user queries can be decomposed to queries over the sources; and for solving the semantic heterogeneity, this paper provides a framework under which semantic relations can be expressed and inferred.In summary, this paper presents a dynamic knowledge base framework by an extended description logic language. Under the framework, databases and data integration systems are modeled, the query processing problem is converted into a semantic-preserving rewriting problem, and many other issues of data integration can be formally studied.

Cite this article

Download citation ▾
HAO Guoshun, MA Shilong, LV Jianghua, SUI Yuefei. Dynamic description logic model for data integration. Front. Comput. Sci., https://doi.org/10.1007/s11704-008-0030-y

References

1. Arens Y, Knoblock C A, Shen W-M . Query reformulation for dynamic information integration. Journal Intelligent Information Systems, 1996, 6(2–3): 99–130. doi:10.1007/BF00122124 2. Lenzerini M . Dataintegration: A theoretical perspective. In: : Popa L, ed. PODS. ACM, 2002, 233–246 3. Ullman J D . Information integration using logical views. In: : Afrati F N, Kolaitis P G, eds. ICDT, Lecture Notes in Computer Science, Vol1186 . Berlin: Springer, 1997, 19–40 4. Cali A, Calvanese D, Giacomo G D, et al.. Accessing data integration systems through conceptualschemas. In: : Kunii H S, Jajodia S, SolvbergA, eds, ER, Lecture Notes in ComputerScience, Vol 2224. Berlin: Springer, 2001, 270–284 5. Halevy A Y . Data integration: A status report. In: : Weikum G, Schoning H, Rahm E, eds, BTW,LNI. GI, Vol 26, 2003, 24–29 6. Halevy A Y, Rajaraman A, Ordille J J . Data integration: The teenage years. In: : Dayal U, Whang K-Y, Lomet D B, et al, eds, VLDB. ACM, 2006, 9–16 7. Wache H, Vogele T, Visser U, et al.. Ontology-based integration of information -a survey of existing approaches. In: : IJCAI, 2001, 108–117 8. Keim D A, Kriegel H-P, Miethsam A . Integration of relational databases in a multidatabasesystem based on schema enrichment. In: : RIDE-IMS, 1993, 96–104 9. Levy A Y . Logic-based techniques in data integration. In: : Minker J, ed, Workshop on Logic-BasedArtificial Intelligence, Maryland: College Park, 1999 10. Halevy A Y . Theory of answering queries using views. SIGMOD Record, 2000, 29(4): 40–47. doi:10.1145/369275.369284 11. Ullman J D, Widom J . A First Course in DatabaseSystems. Prentice Hall, Inc, 1997 12. Beeri C, Levy A Y, Rousset M-C . Rewriting queries using views in description logics. In: : PODS, 1997, 99–108 13. Calvanese D, Giacomo G D, Lenzerini M . Answering queries using views over description logicsknowledge bases. In: : AAAI/IAAI, 2000, 386–391 14. Baader F, CalvaneseD, McGuinness D L, et al., eds. The Description Logic Handbook: Theory, Implementation,and Applications. Cambridge: Cambridge University Press, 2003 15. Borgida A . Descriptionlogics in data management. IEEE Trans KnowlData Eng, 1995, 7(5): 671–682. doi:10.1109/69.469829 16. Calvanese D, Giacomo G D, Lenzerini M . Description logics for information integration. In: : Computational Logic: Logic Programming andBeyond, 2002, 41–60 17. Calvanese D, Lenzerini M, Nardi D . Description logics for conceptual data modelling. In: : Chomicki J, Saake G, eds. Logic for Databasesand Information systems. Holland: Kluwer, 1998, 229–263 18. Wolter F, Zakharyaschev M . Dynamic description logics. In: : Zakharyaschev M, Segerberg K, de Rijke M, et al., eds. Advances in Modal Logic. CSLI Publications, 1998, 431–446 19. Calvanese D, Lenzerini M, Nardi D . Unifying class-based representation formalisms. Journal of Artificial Intelligence Research, 1999, 11: 199–240 20. Sa S, Wang S . Introductions of DatabaseSystems. 3rd ed . Beijing: Higher Education Press, 2003 (in Chinese) 21. Grun G A . Description logics. 1998 22. Chomicki J, Saake G, eds. Logics for Databases andInformation Systems (the book grows out of the Dagstuhl Seminar 9529:Role of Logics in Information Systems, 1995). Holland: Kluwer, 1998 23. Emerson E A . Temporal and modal logic. In: Handbook of Theoretical Computer Science,Volume B: Formal Models and Sematics. Amsterdam: Elsevier and MIT Press, 1990, 995–1072 24. Wolter F, Zakharyaschev M . Modal description logics:Modalizing roles. Fundam Inform, 1999, 39(4): 411–438 25. Rosen K H . Discrete Mathematics and Its Applications. New York: McGraw-Hill, Inc, 1996 26. Calvanese D, Giacomo G D, Lenzerini M . Representing and reasoning on xml documents: A descriptionlogic approach. Journal of Logic and Computation, 1999, 9(3): 295–318. doi:10.1093/logcom/9.3.295 27. Papakonstantinou Y, Gupta A, Garcia-Molina H, et al.. A query translation scheme for rapid implementationof wrappers. In: : Ling T W, Mendelzon A O, VieilleL, eds, DOOD, Lecture Notes in ComputerScience, Vol 1013. Berlin: Springer, 1995, 161–186 28. Jean S, Ameur Y A, Pierra G . Querying ontology based database using ontoql (an ontologyquery language). In: : Meersman R, Tari Z, eds, OTMConferences, Lecture Notes in Computer Science, Vol 4275. Berlin: Springer, 2006, 704–721 29. Calvanese D, Giacomo G D, Lenzerini M . A framework for ontology integration. In:: Cruz I F, DeckerS, Euzenat J, et al., eds, SWWS, 2001, 303–316 30. Ehrig M, Sure Y . Ontology mapping - an integratedapproach. In: : Bussler C, Davies J, FenselD, et al., eds, ESWS, Lecture Notesin Computer Science, Vol 3053, Berlin: Springer, 2004, 76–91 31. Kalfoglou Y, Schorlemmer W M . Ontology mapping: The stateof the art. In: : Kalfoglou Y, Schorlemmer W M, Sheth A P, et al., eds, SemanticInteroperability and Integration, volume 04391 of Dagstuhl SeminarProceedings. IBFI, Schloss Dagstuhl, Germany, 2005 32. Madhavan J, Bernstein P A, Domingos P, et al.. Representing and reasoning about mappings betweendomain models. In: : AAAI/IAAI, 2002, 80–86
AI Summary AI Mindmap
PDF(291 KB)

Accesses

Citations

Detail

Sections
Recommended

/