Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
type: Item
instance of: scholarly article
title: Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
zbMATH Open document ID: 1255.68153
author: Oliver Kutz
author: Till Mossakowski
author: Dominik Lücke
published in: Logica Universalis
publication date: 2013-01-25T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6130693
zbMATH Keywords: ontologies
zbMATH Keywords: reasoning
zbMATH Keywords: modularity
zbMATH Keywords: logical pluralism
zbMATH Keywords: combination techniques
zbMATH Keywords: algebraic specification
zbMATH Keywords: institution theory
describes a project that uses: CASL
describes a project that uses: HasCasl
describes a project that uses: Hets
MaRDI profile type: Publication
full work available at URL: s11787-010-0020-3
OpenAlex ID: W1963907636
cites work: Q4693062
cites work: Q5714260
cites work: A survey of temporal extensions of description logics
cites work: Q4255593
cites work: Q4406531
cites work: Connecting many-sorted theories
cites work: Logical Pluralism
cites work: Under Carnap's lamp: flat pre-semantics
cites work: Q4877439
cites work: Q3629247
cites work: CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
cites work: Journal on Data Semantics I
cites work: Q2722041
cites work: Q4257388
cites work: A formulation of the simple theory of types
cites work: Qualitative spatial representation and reasoning: An overview
cites work: Q3624118
cites work: Ontology Integration Using ε-Connections
cites work: Q5625152
cites work: Grothendieck institutions
cites work: Institution-independent model theory
cites work: An epistemic operator for description logics
cites work: Q4052071
cites work: Hilbert's program relativized; Proof-theoretical and foundational reductions
cites work: First-order modal logic
cites work: Q4217280
cites work: Many-dimensional modal logics: theory and applications
cites work: Q4411900
cites work: Q3251705
cites work: Q3789107
cites work: A categorical manifesto
cites work: Data, Schema, Ontology and Logic Integration
cites work: Q3332238
cites work: Institutions: abstract model theory for specification and programming
cites work: Institution morphisms
cites work: Composition of default specifications
cites work: Q4328563
cites work: Q4333049
cites work: Q3616102
cites work: Q4411726
cites work: Formal Properties of Modularisation
cites work: Allgemeine Logische und Mathematische Theorien
cites work: Notes on logics of metric spaces
cites work: \({\mathcal E}\)-connections of abstract description systems
cites work: Q4382420
cites work: Expressive probabilistic description logics
cites work: Cut elimination in coalgebraic logics
cites work: Modal Logics of Topological Relations
cites work: Mathematical Logic for Life Science Ontologies
cites work: Q4215784
cites work: Multi-dimensional modal logic
cites work: Q3032225
cites work: Q4708606
cites work: Institutional 2-cells and Grothendieck Institutions

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Development graphs -- proof management for structured specifications

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Heterogeneous Logical Environments for Distributed Specifications

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: What is a logic translation?

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Q3849246

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Q4463936

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: A four-valued semantics for terminological logics

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Über Theorien im erweiterten Sinne

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Q3992933

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: An introduction to non-classical logic

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Q3629248

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Q4778715

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Q3042444

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: HasCasl: integrated higher-order specification and program development

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: « Everywhere » and « here »

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: A Logic for Concepts and Similarity

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: A modal logic framework for reasoning about comparative distances and topology

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (cites work)
cites work: Der Aussagenkalkül und die Topologie

Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (DOI)
DOI: 10.1007/S11787-010-0020-3