|
|
Dynamic description logic model for data integration |
HAO Guoshun1, MA Shilong1, LV Jianghua1, SUI Yuefei2 |
1.National Lab of Software Development Environment, Beihang University; 2.Institute of Computing Technology, Chinese Academy of Sciences; |
|
|
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.
|
Issue Date: 05 September 2008
|
|
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. Available at: http://www.cs.sfu.ca/people/GradStudents/grun/personal/s1.ps, 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
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|