Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
From MaRDI portal
Publication:1931353
DOI10.1007/s11787-010-0020-3zbMath1255.68153OpenAlexW1963907636MaRDI QIDQ1931353
Dominik Lücke, Till Mossakowski, Oliver Kutz
Publication date: 25 January 2013
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-010-0020-3
reasoningalgebraic specificationmodularityontologiesinstitution theorylogical pluralismcombination techniques
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Abstract data types; algebraic specification (68Q65)
Related Items (8)
Towards resolution-based reasoning for connected logics ⋮ Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention ⋮ The Distributed Ontology, Modeling and Specification Language – DOL ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Towards a functional approach to modular ontologies using institutions ⋮ Proof Complexity of Non-classical Logics ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Formal Modelling for Cooking Assistance
Uses Software
Cites Work
- Cut elimination in coalgebraic logics
- A modal logic framework for reasoning about comparative distances and topology
- Grothendieck institutions
- Institution morphisms
- Under Carnap's lamp: flat pre-semantics
- \({\mathcal E}\)-connections of abstract description systems
- Notes on logics of metric spaces
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- HasCasl: integrated higher-order specification and program development
- A four-valued semantics for terminological logics
- An epistemic operator for description logics
- Über Theorien im erweiterten Sinne
- Multi-dimensional modal logic
- Many-dimensional modal logics: theory and applications
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- A survey of temporal extensions of description logics
- First-order modal logic
- What is a logic translation?
- Development graphs -- proof management for structured specifications
- Expressive probabilistic description logics
- Institution-independent model theory
- Composition of Default Specifications
- Heterogeneous Logical Environments for Distributed Specifications
- Data, Schema, Ontology and Logic Integration
- Formal Properties of Modularisation
- Ontology Integration Using ε-Connections
- Mathematical Logic for Life Science Ontologies
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- Institutions: abstract model theory for specification and programming
- « Everywhere » and « here »
- Logical Pluralism
- A categorical manifesto
- Allgemeine Logische und Mathematische Theorien
- Connecting many-sorted theories
- Modal Logics of Topological Relations
- A Logic for Concepts and Similarity
- Institutional 2-cells and Grothendieck Institutions
- Der Aussagenkalkül und die Topologie
- A formulation of the simple theory of types
- Journal on Data Semantics I
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
