Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design [Book Review]

Logica Universalis 4 (2):255-333 (2010)
Abstract
This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative) answers to the following three basic questions: (i) Is there a ‘universal ontology’?, (ii) Is there a ‘universal formal ontology language’?, and (iii) Is there a universally applicable ‘mode of reasoning’ for formal ontologies? To support our answers in a principled way, we present a general framework for the design of formal ontologies resting on two main principles: firstly, we endorse Rudolf Carnap’s principle of logical tolerance by giving central stage to the concept of logical heterogeneity, i.e. the use of a plurality of logical languages within one ontology design. Secondly, to structure and combine heterogeneous ontologies in a semantically well-founded way, we base our work on abstract model theory in the form of institutional semantics, as forcefully put forward by Joseph Goguen and Rod Burstall. In particular, we employ the structuring mechanisms of the heterogeneous algebraic specification language HetCasl for defining a general concept of heterogeneous, distributed, highly modular and structured ontologies, called hyperontologies. Moreover, we distinguish, on a structural and semantic level, several different kinds of combining and aligning heterogeneous ontologies, namely integration, connection, and refinement. We show how the notion of heterogeneous refinement can be used to provide both a general notion of sub-ontology as well as a notion of heterogeneous equivalence of ontologies, and finally sketch how different modes of reasoning over ontologies are related to these different structuring aspects
Keywords Ontologies  reasoning  modularity  logical pluralism  combination techniques  algebraic specification  institution theory
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 11,412
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Rudolf Carnap (1950). Empiricism, Semantics, and Ontology. Revue Internationale de Philosophie 4 (2):20--40.

View all 12 references

Citations of this work BETA

No citations found.

Similar books and articles
Adam Wyner (2008). An Ontology in Owl for Legal Case-Based Reasoning. Artificial Intelligence and Law 16 (4):361-387.
Analytics

Monthly downloads

Added to index

2010-11-17

Total downloads

19 ( #90,396 of 1,103,048 )

Recent downloads (6 months)

5 ( #62,017 of 1,103,048 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.