Carnap, Goguen, and the Hyperontologies Logical Pluralism and Heterogeneous Structuring in Ontology Design

Carnap, Goguen, and the Hyperontologies Logical Pluralism and Heterogeneous Structuring in Ontology Design

Cached

Download Links

[www.informatik.uni-bremen.de]

by Oliver Kutz , Till Mossakowski , Dominik Lücke , To Joseph Goguen

Versions

Version 0

Version History

Metadata Version 0

Datum	Value	Source
TITLE	Carnap, Goguen, and the Hyperontologies Logical Pluralism and Heterogeneous Structuring in Ontology Design	SVM HeaderParse 0.2
AUTHOR NAME	Oliver Kutz	SVM HeaderParse 0.2
AUTHOR AFFIL	Mathematics Subject Classification (2010). Primary 68T30; Secondary	SVM HeaderParse 0.2
AUTHOR NAME	Till Mossakowski	SVM HeaderParse 0.2
AUTHOR AFFIL	Mathematics Subject Classification (2010). Primary 68T30; Secondary	SVM HeaderParse 0.2
AUTHOR NAME	Dominik Lücke	SVM HeaderParse 0.2
AUTHOR AFFIL	Mathematics Subject Classification (2010). Primary 68T30; Secondary	SVM HeaderParse 0.2
AUTHOR NAME	To Joseph Goguen	SVM HeaderParse 0.2
AUTHOR AFFIL	Mathematics Subject Classification (2010). Primary 68T30; Secondary	SVM HeaderParse 0.2
ABSTRACT	Abstract. 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. The theoretical foundation in institution theory establishes a close link to algebraic specification theory. We explore this link by systematically applying tools and techniques from this area to corresponding ontology structuring and design tasks, in particular employ the structuring mechanisms of the heterogeneous algebraic specification language HetCasl for defining an abstract notion of structured heterogeneous ontology, leading to the idea of a hyperontology, a heterogeneous, distributed,	SVM HeaderParse 0.2
CITATIONS	42 found	ParsCit 1.0