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.
Importing from Functional Knowledge Bases
Giunchiglia, Fausto
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 "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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
