We review several proposals for reusing knowledge from existing ontologies by importing concepts and related axioms, which start from a set ω of "identifiers of interest". In order to compare these and other potential proposals, we offer a formal definition of the notion of "importing knowledge" based on Levesque's functional characterization of knowledge bases using a Tell/Ask interface. This definition is parameterized by a set A of Ask operators. In this preliminary work we consider ways in which this definition can be used to capture aspects of prior proposals, and therefore provide a framework for comparison between them.
|Original language||English (US)|
|Journal||CEUR Workshop Proceedings|
|State||Published - 2007|
|Event||2nd International Workshop on Modular Ontologies, WoMO 2007 - Whistler, BC, Canada|
Duration: Oct 28 2007 → Oct 28 2007
All Science Journal Classification (ASJC) codes
- Computer Science(all)