Towards a functional approach to modular ontologies using institutions

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

zbMATH Keywords

interpolation; institutions; integration; modularity; ontologies

Mathematics Subject Classification ID

68T30: Knowledge representation

03G30: Categorical logic, topoi

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