Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Abstract and concrete categories
Abstract and concrete categories
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
ε-connections of abstract description systems
Artificial Intelligence
Institutionalising ontology-based semantic integration
Applied Ontology
Institution-independent Model Theory
Institution-independent Model Theory
Formalizing Ontology Alignment and its Operations with Category Theory
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
On the semantics of linking and importing in modular ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Natural Language Meets Spatial Calculi
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Formal Properties of Modularisation
Modular Ontologies
Ontology Modularity, Information Flow, and Interaction-Situated SemanticsExtended Abstract
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Towards a Functional Approach to Modular Ontologies using Institutions
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
A linguistic ontology of space for natural language processing
Artificial Intelligence
Modular first-order ontologies via repositories
Applied Ontology - Modularity in Ontologies
The logical difference for the lightweight description logic EL
Journal of Artificial Intelligence Research
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
| Hi-index | 0.01 |
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and outline a general approach for representing (heterogeneous) combinations of ontologies through interfaces of various kinds, based on the theory of institutions. This covers theory interpretations, (definitional) language extensions, symbol identifications, and conservative extensions. In particular, we study the problem of inheriting conservativity between sub-theories in a diagram to its colimit ontology, and apply this to the problem of localisation of reasoning in 'modular ontology languages' such as DDLs or E-connections.