Towards a Functional Approach to Modular Ontologies Using Institutions |
| |
Authors: | Daniel Pokrywczyński Grant Malcolm |
| |
Institution: | 1. Department of Computer Science, University of Liverpool, Liverpool, L69 3BX, UK
|
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|