ε-connections of abstract description systems
Artificial Intelligence
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
A semantic importing approach to knowledge reuse from multiple ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
On the semantics of linking and importing in modular ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Modular ontologies – a formal investigation of semantics and expressivity
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Formalizing Ontology Modularization through the Notion of Interfaces
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
An architecture and formalism for handling modular ontologies
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Hi-index | 0.00 |
Modularization entails more efficient reasoning and better performance in the ontology manipulation process. Therefore, the development of modular ontologies has recently received much attention. One of the most important issues in modular ontologies is dealing with inconsistencies. An inconsistent module may affect the other modules and cause a modular ontology to become inconsistent. Furthermore, the integration of different consistent modules may also result in inconsistency. In this paper, we investigate various types of inconsistencies in modular ontologies. We mostly focus on an interface-based ontology modularity formalism and propose a strategy and an algorithm for isolating inconsistent modules and resolving inconsistencies arisen from the integration of different ontology modules.