The PROMPT suite: interactive tools for ontology merging and mapping
International Journal of Human-Computer Studies
Bootstrapping semantics on the web: meaning elicitation from schemas
Proceedings of the 15th international conference on World Wide Web
Ontology Matching
Ontology matching with semantic verification
Web Semantics: Science, Services and Agents on the World Wide Web
FCA-MERGE: bottom-up merging of ontologies
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Towards automatic merging of domain ontologies: The HCONE-merge approach
Web Semantics: Science, Services and Agents on the World Wide Web
Automatic Ontology Matching via Upper Ontologies: A Systematic Evaluation
IEEE Transactions on Knowledge and Data Engineering
Disjoint-Knowledge Analysis and Preservation in Ontology Merging Process
ICSEA '10 Proceedings of the 2010 Fifth International Conference on Software Engineering Advances
Hi-index | 0.00 |
In recent years, researchers have been developing algorithms for the automatic mapping and merging of ontologies to meet the demands of interoperability between heterogeneous and distributed information systems. But, still state-of-the-art ontology mapping and merging systems is semi-automatic that reduces the burden of manual creation and maintenance of mappings, and need human intervention for their validation. The contribution presented in this paper makes human intervention one step more down by automatically identifying semantic inconsistencies in the early stages of ontology merging. We are detecting semantic heterogeneities that occur due to conflicts among the set of Generalized Concept Inclusions, Property Subsumption Criteria, and Constraint Satisfaction Mechanism in local heterogeneous ontologies, which become obstacles for the generation of semantically consistent global merged ontology. We present several algorithms to detect such semantic inconsistencies based on subsumption analysis of concepts and properties in local ontologies from the list of initial mappings. We provide ontological patterns for resolving these inconsistencies automatically. This results global merged ontology free from `circulatory error in class/property hierarchy', `common class between disjoint classes/properties', `redundancy of subclass/subproperty of relations' and other types of `semantic inconsistency' errors. Experiments on the real ontologies show that our algorithms save time and cost of traversing local ontologies, improve system's performance by producing only consistent accurate mappings, and reduce the users' dependability for ensuring the satisfiability of merged ontology.