Abstract
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) |
|---|---|
| Pages (from-to) | 8P |
| Journal | CEUR Workshop Proceedings |
| Volume | 315 |
| 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)