Towards a functional approach to modular ontologies using institutions

DOI10.1007/S11225-012-9466-ZMaRDI QIDQ2016068zbMATH OpenOpenAlexFDO

Authors Daniel Pokrywczyński, Grant Malcolm

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

institutionsintegrationinterpolationmodularityontologies

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Knowledge representation (68T30)

Recommendations

• Formal Properties of Modularisation
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• Modular reuse of ontologies: theory and practice
• Modularity of ontologies in an arbitrary institution
• Package-Based Description Logics

Cites work

• An institution-independent proof of Craig interpolation theorem
• An institution-independent proof of the Beth definability theorem
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• Formal Properties of Modularisation
• Foundations of a functional approach to knowledge representation
• Grothendieck institutions
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• scientific article; zbMATH DE number 2246077 (Why is no real title available?)
• scientific article; zbMATH DE number 6606368 (Why is no real title available?)
• Institution morphisms
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Interpolation in Grothendieck institutions
• Knowledge engineering: Principles and methods
• Ontology Matching
• Semantic Web Languages – Towards an Institutional Perspective
• The Logical Difference Problem for Description Logic Terminologies
• The many faces of interpolation

Cited in

(4)

• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• scientific article; zbMATH DE number 5719279 (Why is no real title available?)
• A framework for modular ERDF ontologies

This page was built for publication: Towards a functional approach to modular ontologies using institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2016068)