What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases
A. Borgida and R. Küsters
One approach to integrating knowledge bases is based on finding assertions that relate the expressions in the constituent terminologies. For knowledge bases with many terms this task requires computer support. We set up a formal framework for merging Description Logic TBoxes, and then explore the limits of a purely structural approach to the problem of finding inter-relationships between knowledge bases. Some theoretical notions are empirically examined in a real medical ontology (GALEN).