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 c...

Full description

Saved in:
Bibliographic Details
Published in:Journal of Applied Mathematics 2014-01, Vol.2014 (2014), p.971-981-087
Main Authors: Yang, Shihan, Wu, Jinzhao, Tan, Hongyan
Format: Article
Language:English
Subjects:
Consistency
Data sources
Extensible Markup Language
Feasibility
Grants
Handles
Language
Mathematical models
Methodology
Ontology
Product development
Relational data bases
Semantics
Syntax
Transformations
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1110-757X
1687-0042
DOI:10.1155/2014/181938