Abstract
The information society demands complete information from multiple sources, where available information is often heterogeneous and distributed. Because of semantic heterogeneities among ontologies of different information sources, it is rather difficult to integrate these local ontologies and get completely available information. In this paper, we propose a formal framework for integration of multiple ontologies from distributed information sources. To achieve this goal, implicit default information is extensively considered. We make a default extension to distributed description logics (DDL) for ontology integration and complete information query. A complete information query based on the integrated ontologies can boil down to checking default satisfiability of complex concept in accord with the query. Default satisfiability can be detected through an adapted tableau algorithm. Based on the proposed formal framework, a prototype system is developed, which can integrate strict as well as default information from multiple distributed information sources and global semantic information query can be performed.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Wache, H., et al.: Ontology-Based Integration of Information—A Survey of Existing Approaches. In: proceedings of IJCAI 2001 Workshop: Ontologies and Information Sharing, USA, pp. 108–117 (2001)
Visser, P.R.S., et al.: An Analysis of Ontology Mismatches; Heterogeneity Versus Interoperability. In: AAAI 1997 Spring Symposium on Ontological Engineering, Stanford, USA, pp. 164–172 (1997)
Berners-Lee, T., et al.: The Semantic Web, vol. 284, pp. 34–43. Scientific American (2001)
Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition, vol. 5, pp. 199–220 (1993)
Baader, F., et al.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. LNCS (LNAI). Springer, Heidelberg (2003)
Horrocks, I., et al.: Reviewing the design of DAML+OIL: language for the Semantic Web. In: proceedings of AAAI 2002, Canada, pp. 792–797 (2002)
Borgida, A., et al.: Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. Journal of Data Semantics 1, 153–184 (2003)
Schimidt-schauβ, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence, vol. 48, pp. 1–26 (1991)
Baader, F., Hollunder, B.: Embedding Defaults into Terminological Representation Systems. Journal of Automated Reasoning 14, 149–180 (1995)
Straccia, U.: Default Inheritance Reasoning in Hybrid KL-ONE-style Logics. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 676-681 (1993)
Lambrix, P., et al.: A Default Extension to Description Logics for use in an Intelligent Search Engine. In: proceedings of 31st Annual Hawaii International Conference on System Sciences, USA, vol. 5, pp. 28–35 (1998)
Calvanese, D., et al.: A Framework for ontology Integration. In: Cruz, I., Decker, S., Euzenat, J., McGuinness, D. (eds.) The Emerging Semantic Web _ Selected Papers from the First Semantic Web Working Symposium, pp. 201–214 (2002)
W3C (World Wide Web Consortium): Resource Description Framework (RDF) Model and Syntax Specification (1999), http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/
W3C (World Wide Web Consortium).: Resource Description Framework (RDF) Schema Specification 1.0 (2002), http://www.w3.org/TR/2000/CR-rdf-schema-20000327/
Hewlett-Packard Semantic Web Lab: Jena Semantic Web Framework (2004), http://www.hpl.hp.com/semweb/
HP Semantic Web Lab: RDQL-RDF Data Query Language (2004), http://www.hpl.hp.com/semweb/rdql.htm
Hayes, P., et al.: RDF Semantics (2004), http://www.w3.org/TR/rdf-mt/
Guha, R.V.: RDFDB: An RDF Database (2004), http://www.guha.com/rdfdb/
McGuinness, D.L., et al.: An environment for merging and testing large ontologies. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) KR 2000: Principles of Knowledge Representation and Reasoning, San Francisco, pp. 483–493 (2000)
Maedche, A., et al.: Managing multiple and distributed ontologies on the Semantic Web. The VLDB Journal-Digital Object Identifier (DOI) 12, 286–302 (2003)
Davies, J., Duke, A., Stonkus, A.: OntoShare: Using Ontologies for Knowledge Sharing. In: Proceedings of WWW 2002 International Workshop on the Semantic Web, Hawaii (2002)
Huynh, D., Karger, D., Quan, D.: Haystack: A Platform for Creating, Organizing and Visualizing Information Using RDF. In: Proceedings of WWW 2002 International Workshop on the Semantic Web, Hawaii (2002)
Nejdl, W., et al.: EDUTELLA: Searching and Annotating Resources within an RDF-based P2P Network. In: Proceedings of WWW 2002 International Workshop on the Semantic Web, Hawaii (2002)
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
Ma, Y., Wei, J., Jin, B., Liu, S. (2005). A Formal Framework for Ontology Integration Based on a Default Extension to DDL. In: Liu, Z., Araki, K. (eds) Theoretical Aspects of Computing - ICTAC 2004. ICTAC 2004. Lecture Notes in Computer Science, vol 3407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31862-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-31862-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25304-4
Online ISBN: 978-3-540-31862-0
eBook Packages: Computer ScienceComputer Science (R0)