![](/images/graphics-bg.png)
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources
Joint Authors
Yang, Shihan
Tan, Hongyan
Wu, Jinzhao
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-11, 11 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-04-15
Country of Publication
Egypt
No. of Pages
11
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Yang, Shihan& Tan, Hongyan& Wu, Jinzhao. 2014. Semantic Consistency Checking in Building Ontology from Heterogeneous Sources. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-11.
https://search.emarefa.net/detail/BIM-452466
Modern Language Association (MLA)
Yang, Shihan…[et al.]. Semantic Consistency Checking in Building Ontology from Heterogeneous Sources. Journal of Applied Mathematics No. 2014 (2014), pp.1-11.
https://search.emarefa.net/detail/BIM-452466
American Medical Association (AMA)
Yang, Shihan& Tan, Hongyan& Wu, Jinzhao. Semantic Consistency Checking in Building Ontology from Heterogeneous Sources. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-11.
https://search.emarefa.net/detail/BIM-452466
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-452466