Towards a Functional Approach to Modular Ontologies Using Institutions

Grant Malcolm

(Liverpool)

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. We also consider institutions of description Logics with individuals.
Thursday 3rd May 2012, 14:30
Robert Recorde Room
Department of Computer Science