Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
An Infrastructure for Intertheory Reasoning
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Institutionalising ontology-based semantic integration
Applied Ontology
Sorting and selection in posets
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Formal Properties of Modularisation
Modular Ontologies
Ontology Integration Using ε-Connections
Modular Ontologies
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Ontology Verification with Repositories
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
The modular structure of an ontology: an empirical study
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Verification of the OWL-time ontology
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Verification of Time Ontologies with Points and Intervals
TIME '11 Proceedings of the 2011 Eighteenth International Symposium on Temporal Representation and Reasoning
Hi-index | 0.00 |
From its inception, the focus of ontological engineering has been to support the reusability and shareability of ontologies, as well as interoperability of ontology-based software systems. Among the approaches employed to address these challenges have been ontology repositories and the modularization of ontologies. In this paper we combine these approaches and use the relationships between first-order ontologies within a repository (such as non-conservative extension and relative interpretation) to characterize the criteria for modularity. In particular, we introduce the notion of core hierarchies, which are sets of theories with the same non-logical lexicons and which are all non-conservative extensions of a unique root theory. The technique of relative interpretation leads to the notion of reducibility of a theory to a set of theories in different core hierarchies. We show how these relationships support a semi-automated procedure that decomposes an ontology into irreducible modules. We also propose a semi-automated procedure that can use the relationships between modules to characterize which modules can be shared and reused among different ontologies.