A formal framework for ontology integration based on a default extension to DDL

Authors:
Yinglong Ma;Jun Wei;Beihong Jin;Shaohua Liu
Affiliations:
Technology Center of Software Engineering, Institute of Software, Chinese Academy of Science, Beijing, P.R. China;Technology Center of Software Engineering, Institute of Software, Chinese Academy of Science, Beijing, P.R. China;Technology Center of Software Engineering, Institute of Software, Chinese Academy of Science, Beijing, P.R. China;Technology Center of Software Engineering, Institute of Software, Chinese Academy of Science, Beijing, P.R. China
Venue:
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Year:
2004

Citing 7
Cited 1

Attributive concept descriptions with complements

Artificial Intelligence
A translation approach to portable ontology specifications

Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Reviewing the design of DAML+OIL: an ontology language for the semantic web

Eighteenth national conference on Artificial intelligence
A Default Extension to Description Logics for Use in an Intelligent Search Engine

HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Managing multiple and distributed ontologies on the Semantic Web

The VLDB Journal — The International Journal on Very Large Data Bases
Default inheritance reasoning in hybrid KL-ONE-style logics

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Dynamic evolutions based on ontologies

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

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.