A Logical Framework for Representing Ontologies

Diego Calvanese, Bernardo Cuenca Grau, Domenico Lembo, Davide Martinenghi, and Anni-Yasmin Turhan

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.

   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",