Importing from Functional Knowledge Bases - A Preview

Alexander Borgida,Fausto Giunchiglia
2007-01-01
Abstract:We review several proposals for reusing knowledge from existing ontologies by importing concepts and related axioms, which start from a set of \identiers of interest". In order to compare these and other potential proposals, we oer a formal denition of the notion of \importing knowledge" based on Levesque's functional characterization of knowledge bases using a Tell/Ask interface. This denition is parameterized by a set A of Ask operators. In this preliminary work we consider ways in which this denition can be used to capture aspects of prior proposals, and therefore provide a framework for comparison between them.
What problem does this paper attempt to address?