Semantic consistency checking in building ontology from heterogeneous sources

Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically. therefore,the semantic consistency is indispensable precondition for building a correct ontology. in this paper,a model-checking-based method is proposed to handle the semantic consistency problem with a kind of middle-model methodology,which could extract a domain ontology from structured and semistructured data sources semiautomatically. the method translates the middle model into the kripke structure,and consistency assertions into ctl formulae,so a consistency checking problem is promoted to a global model checking. moreover,the feasibility and correctness of the transformation is proved,and case studies are provided. © 2014 shihan yang et al.