Towards a Functional Approach to Modular Ontologies using Institutions
by
Daniel Pokrywczyński
,
Grant Malcolm
BibTeX
@MISC{Pokrywczyński_towardsa,
author = {Daniel Pokrywczyński and Grant Malcolm},
title = {Towards a Functional Approach to Modular Ontologies using Institutions},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose a functional view of ontologies that emphasises their role in determining answers to queries, irrespective of the formalism in which they are written. A notion of framework is introduced that captures the situation of a global language into which both an ontology language and a query language can be translated, in an abstract way. We then generalise existing notions of robustness from the literature, and relate these to interpolation properties that support modularisation of ontologies.
