Semantic consistency checking in building ontology from heterogeneous sources

DOI10.1155/2014/181938MaRDI QIDQ2336201zbMATH OpenOpenAlexWikidataFDO

Authors Shihan Yang, Hongyan Tan, Jinzhao Wu

Publication date 19 November 2019

Published in Journal of Applied Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.1155/2014/181938

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

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.

Cites work

• Applying model-checking to solve queries on semistructured data
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• NuSMV: A new symbolic model checker

Cited in

(2)

• scientific article; zbMATH DE number 2088374 (Why is no real title available?)
• scientific article; zbMATH DE number 1955891 (Why is no real title available?)

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: Semantic consistency checking in building ontology from heterogeneous sources

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2336201)