Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination of ontologies. However, only latest research efforts “touch” on the mapping /merging of ontologies using the whole breadth of available knowledge. This paper aims to thoroughly describe the HCONE approach on ontology m...

Concept-level integration requires inference about domain ontology to make a decision for integration between a pair of classes. Ontologies can be developed independently. We have presented a new approach which merges these ontologies. This approach will also is compared with other solutions that already exist in the research community. Also, we present a tool to allow all computer users to dev...

Standard state-merging DFA induction algorithms, such as RPNI or Blue-Fringe, aim at inferring a regular language from positive and negative strings. In particular, the negative information prevents merging incompatible states: merging those states would lead to produce an inconsistent DFA. Whenever available, domain knowledge can also be used to extend the set of incompatible states. We introd...

As ontology is subjective and varies in different domains, the amount of ontologies turns out to be huge but with poor compatibility. Mainstream method for ontology integration is mostly achieved by establishing mappings between ontologies. In this essay, the author put forward another way of ontology merging. After statistic machine learning on concept relations, the frequency of different ont...

Inductive relations offer a powerful and expressive way of writing program specifications while facilitating compositional reasoning. Their widespread use by proof assistant users has made them particularly attractive target for engineering tools such as QuickChick, property-based testing tool Coq which can automatically derive generators values satisfying an inductive relation. However, are ge...