Back to Search
Start Over
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources.
- Source :
-
Journal of Applied Mathematics . 2014, p1-11. 11p. - Publication Year :
- 2014
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 1110757X
- Database :
- Academic Search Index
- Journal :
- Journal of Applied Mathematics
- Publication Type :
- Academic Journal
- Accession number :
- 100492780
- Full Text :
- https://doi.org/10.1155/2014/181938