Attributive concept descriptions with complements
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The PROMPT suite: interactive tools for ontology merging and mapping
International Journal of Human-Computer Studies
Web ontology segmentation: analysis, classification and use
Proceedings of the 15th international conference on World Wide Web
A logical framework for modularity of ontologies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conservative extensions in expressive description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
A methodology for asynchronous multi-user editing of semantic web ontologies
Proceedings of the 4th international conference on Knowledge capture
Matching large ontologies: A divide-and-conquer approach
Data & Knowledge Engineering
Individual Reuse in Description Logic Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
The Logical Difference Problem for Description Logic Terminologies
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Formalizing Ontology Modularization through the Notion of Interfaces
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
yOWL: An ontology-driven knowledge base for yeast biologists
Journal of Biomedical Informatics
An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Formal Properties of Modularisation
Modular Ontologies
On Importing Knowledge from Ontologies.
Modular Ontologies
Web Ontology Segmentation: Extraction, Transformation, Evaluation
Modular Ontologies
KEMM: A Knowledge Engineering Methodology in the Medical Domain
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Semantic Modularity and Module Extraction in Description Logics
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
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
Supporting the Development of Medical Ontologies
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
Forgetting and uniform interpolation in large-scale description logic terminologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
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
Goal-Directed Module Extraction for Explaining OWL DL Entailments
ISWC '09 Proceedings of the 8th International Semantic Web Conference
A Conflict-Based Operator for Mapping Revision
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
OBO and OWL: leveraging semantic web technologies for the life sciences
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
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
Aspects of inconsistency resolution in modular ontologies
Canadian AI'08 Proceedings of the Canadian Society for computational studies of intelligence, 21st conference on Advances in artificial intelligence
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
Forgetting concepts in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Component models for semantic web languages
Semantic techniques for the web
Techniques for discovering correspondences between ontologies
International Journal of Web and Grid Services
Forgetting for knowledge bases in DL-Lite
Annals of Mathematics and Artificial Intelligence
Scaling alignment of large ontologies
International Journal of Bioinformatics Research and Applications
Acta Cybernetica
Aggregated search of data and services
Information Systems
Supporting concurrent ontology development: Framework, algorithms and tool
Data & Knowledge Engineering
Ontology modularization to improve semantic medical image annotation
Journal of Biomedical Informatics
vSPARQL: A view definition language for the semantic web
Journal of Biomedical Informatics
MIREOT: The minimum information to reference an external ontology term
Applied Ontology - Biomedical Ontologies
Evaluation Criteria Ontology Modularization Tools
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
LogMap: logic-based and scalable ontology matching
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
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
LogMap 2.0: towards logic-based, scalable and interactive ontology matching
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
KR4HC'09 Proceedings of the 2009 AIME international conference on Knowledge Representation for Health-Care: data, Processes and Guidelines
Privacy preserving modules for ontologies
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Assessing the safety of knowledge patterns in OWL ontologies
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
A comprehensive framework for the evaluation of ontology modularization
Expert Systems with Applications: An International Journal
Matching large ontologies based on reduction anchors
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
An efficient approach to debugging ontologies based on patterns
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Hitting the sweetspot: economic rewriting of knowledge bases
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
A semantic metrics suite for evaluating modular ontologies
Information Systems
Finding EL+ justifications using the earley parsing algorithm
AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Modeling ontology evolution with SetPi
Information Sciences: an International Journal
Hi-index | 0.00 |
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a given set of terms, i.e., to include all axioms relevant to the meaning of these terms, and study the problem of extracting minimal modules. We show that the problem of determining whether a subset of an ontology is a module for a given vocabulary is undecidable even for rather restricted sub-languages of OWL DL. Hence we propose two "approximations", i.e., alternative definitions of modules for a vocabulary that still provide the above guarantee, but that are possibly too strict, and that may thus result in larger modules: the first approximation is semantic and can be computed using existing DL reasoners; the second is syntactic, and can be computed in polynomial time. Finally, we report on an empirical evaluation of our syntactic approximation which demonstrates that the modules we extract are surprisingly small.