ε-connections of abstract description systems
Artificial Intelligence
Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization
Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
History matters: incremental ontology reasoning using modules
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Safe and economic re-use of ontologies: a logic-based methodology and tool support
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Module extraction and incremental classification: a pragmatic approach for ƐL+ ontologies
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Topicality in logic-based ontologies
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Modular first-order ontologies via repositories
Applied Ontology - Modularity in Ontologies
Engineering use cases for modular development of ontologies in OWL
Applied Ontology - Modularity in Ontologies
Hi-index | 0.00 |
Efficiently extracting a module from a given ontology that captures all the ontology's knowledge about a set of specified terms is a well-understood task. This task can be based, for instance, on locality-based modules. In contrast, extracting all modules of an ontology is computationally difficult because there can be exponentially many. However, it is reasonable to assume that, by revealing the modular structure of an ontology, we can obtain information about its topicality, connectedness, structure, superfluous parts, or agreement between actual and intended modeling. Furthermore, incremental reasoning makes use of a number of, although not all possible, modules of an ontology. We report on experiments to estimate the number of modules of real-life ontologies. We also evaluate the modular structure of ontologies that we succeeded to fully modularise. In that evaluation, we look at the number and sizes of the modules, as well as the relation between module size and number and size of signatures that lead to the module. Chances are that the understanding we report about small ontologies can be applied to all ontologies.