Attributive concept descriptions with complements
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
The PROMPT suite: interactive tools for ontology merging and mapping
International Journal of Human-Computer Studies
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
A tableaux decision procedure for SHOIQ
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
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
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
The consistency of the CADIAG-2 knowledge base: a probabilistic approach
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
From mappings to modules: using mappings to identify domain-specific modules in large ontologies
Proceedings of the sixth international conference on Knowledge capture
Elimination of redundancy in ontologies
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Topicality in logic-based ontologies
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Common Logic and the Horatio problem
Applied Ontology - Modularity in Ontologies
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach
Journal of Information Technology Research
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Hi-index | 0.00 |
The ability to extract meaningful fragments from an ontology is essential for ontology reuse. 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. We show that the problem of determining whether a subset of an ontology is a module for a given vocabulary is undecidable even for OWL DL. Given these negative results, we propose sufficient conditions for a for a fragment of an ontology to be a module. We propose an algorithm for computing modules based on those conditions and present our experimental results on a set of real-world ontologies of varying size and complexity.