Semantic Consistency Checking in Building Ontology from Heterogeneous Sources

Shihan Yang, Hongyan Tan and Jinzhao Wu

Journal of Applied Mathematics, 2014, vol. 2014, issue 1

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.

Date: 2014
References: Add references at CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1155/2014/181938

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:jnljam:v:2014:y:2014:i:1:n:181938

Access Statistics for this article

More articles in Journal of Applied Mathematics from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().