A Framework of Checking Subsumption Relations Between Composite Concepts in Different Ontologies

Ontology-based applications always need checking subsumption relations between concepts. Current subsumption checking approaches are not appropriate to check subsumption relations between composite concepts in different ontologies. This paper proposes a framework, which is practical and effective to check subsumption relations between composite concepts in different ontologies. The framework is based on learning the mutual instances of different ontologies. It analyses the problems when generating and checking of mutual instances, and provides effective processes to solve them. The framework is fault tolerance and can deal with large-scale mutual instances; it can greatly reduce the manual annotation work, which is the main limitation in mutual instances approaches; intensions are also considered to avoid unnecessary instance checking and hit-and-miss results.