Open Access
2014 Semantic Consistency Checking in Building Ontology from Heterogeneous Sources
Shihan Yang, Hongyan Tan, Jinzhao Wu
J. Appl. Math. 2014(SI11): 1-11 (2014). DOI: 10.1155/2014/181938


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.


Download Citation

Shihan Yang. Hongyan Tan. Jinzhao Wu. "Semantic Consistency Checking in Building Ontology from Heterogeneous Sources." J. Appl. Math. 2014 (SI11) 1 - 11, 2014.


Published: 2014
First available in Project Euclid: 1 October 2014

zbMATH: 07131380
Digital Object Identifier: 10.1155/2014/181938

Rights: Copyright © 2014 Hindawi

Vol.2014 • No. SI11 • 2014
Back to Top