2010. Manuscript.
In this article, we present a general framework for the representation of ontologies that has been designed as a semantic infrastructure capturing different formalizations of ontologies as proposed in the literature, as well as their services and the different contexts in which ontologies are used. A distinctive feature of the framework is that it is based on first-order interpretations to specify the semantics of ontologies. The framework distinguishes ontologies as stand-alone artifacts from ontologies that are placed within an external environment whose semantics is outside the formalization. Finally, we consider ontologies that interact in a peer-to-peer network. We illustrate meaningful instantiations of the framework in the three contexts through ontology based formalisms that have been proposed recently in the literature.
@unpublished{JLC-2010,
title = "A Logical Framework for Representing Ontologies",
year = "2010",
author = "Diego Calvanese and Cuenca Grau, Bernardo and Domenico
Lembo and Davide Martinenghi and Anni-Yasmin Turhan",
note = "Manuscript",
}