Towards a functional approach to modular ontologies using institutions
From MaRDI portal
Publication:2016068
DOI10.1007/s11225-012-9466-zzbMath1328.68221MaRDI QIDQ2016068
Grant Malcolm, Daniel Pokrywczyński
Publication date: 19 June 2014
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9466-z
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Grothendieck institutions
- Institution morphisms
- Foundations of a functional approach to knowledge representation
- An institution-independent proof of the Beth definability theorem
- The many faces of interpolation
- An institution-independent proof of Craig interpolation theorem
- Interpolation in Grothendieck institutions
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Institution-independent model theory
- Ontology Matching
- The Logical Difference Problem for Description Logic Terminologies
- Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
- Formal Properties of Modularisation
- Knowledge engineering: Principles and methods
- Institutions: abstract model theory for specification and programming
- Semantic Web Languages – Towards an Institutional Perspective