Ontology mapping: the state of the art
The Knowledge Engineering Review
Semantic integration: a survey of ontology-based approaches
ACM SIGMOD Record
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
Semantic web: the story so far
W4A '07 Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)
Ontology module extraction for ontology reuse: an ontology engineering perspective
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
In situ migration of handcrafted ontologies to reason-able forms
Data & Knowledge Engineering
Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Formalizing Ontology Modularization through the Notion of Interfaces
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Integrating Lightweight Reasoning into Class-Based Query Refinement for Object Search
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Evaluating Ontology Modules Using an Entropy Inspired Metric
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Designing Visual Languages for Description Logics
Journal of Logic, Language and Information
Formal Properties of Modularisation
Modular Ontologies
Criteria and Evaluation for Ontology Modularization Techniques
Modular Ontologies
On Importing Knowledge from Ontologies.
Modular Ontologies
Extracting Modules from Ontologies: A Logic-Based Approach
Modular Ontologies
Package-Based Description Logics
Modular Ontologies
Privacy-Preserving Query Answering in Logic-based Information Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
An entropy inspired measure for evaluating ontology modularization
Proceedings of the fifth international conference on Knowledge capture
A semantic importing approach to knowledge reuse from multiple ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
Efficient retrieval of ontology fragments using an interval labeling scheme
Information Sciences: an International Journal
Deciding inseparability and conservative extensions in the description logic EL
Journal of Symbolic Computation
Non-conservative extension of a peer in a P2P inference system
AI Communications
Task Oriented Evaluation of Module Extraction Techniques
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Concept and Role Forgetting in ${\mathcal {ALC}}$ Ontologies
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
Evaluating formalisms for modular ontologies in distributed information systems
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A framework for handling revisions in distributed ontologies
Proceedings of the 2010 ACM Symposium on Applied Computing
Ontology performance profiling and model examination: first steps
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
Forgetting concepts in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
A Metric Suite for Evaluating Cohesion and Coupling in Modular Ontologies
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence
Parallel TBox Classification in Description Logics --First Experimental Results
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Modularizing spatial ontologies for assisted living systems
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
GIScience'10 Proceedings of the 6th international conference on Geographic information science
Cohesion and coupling metrics for ontology modules
Information Technology and Management
Modularity in the rule interchange format
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Using ontology modularization for efficient negotiation over ontology correspondences in MAS
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Privacy preserving modules for ontologies
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
A comprehensive framework for the evaluation of ontology modularization
Expert Systems with Applications: An International Journal
Ontology modularization for knowledge selection: experiments and evaluations
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Reasoning over ontologies with hidden content: the import-by-query approach
Journal of Artificial Intelligence Research
A semantic metrics suite for evaluating modular ontologies
Information Systems
Ontology-based data access: An application to intermodal logistics
Information Systems Frontiers
Hi-index | 0.00 |
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion of modularity needs to take the semantics of ontologies and their implications into account. We propose a logic-based notion of modularity that allows the modeler to specify the external signature of their ontology, whose symbols are assumed to be defined in some other ontology. We define two restrictions on the usage of the external signature, a syntactic and a slightly less restrictive, semantic one, each of which is decidable and guarantees a certain kind of "black-box" behavior, which enables the controlled merging of ontologies. Analysis of real-world ontologies suggests that these restrictions are not too onerous.