Semantic consistency checking in building ontology from heterogeneous sources

DOI10.1155/2014/181938zbMATH Open1437.68123OpenAlexW2119978016WikidataQ59050113 ScholiaQ59050113MaRDI QIDQ2336201FDOQ2336201

Authors: Shihan Yang, Hongyan Tan, Jinzhao Wu 

Publication date: 19 November 2019

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

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

Recommendations

• scientific article; zbMATH DE number 2088374
• scientific article; zbMATH DE number 2089430

Mathematics Subject Classification ID

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

Cites Work

• NuSMV: A new symbolic model checker
• Title not available (Why is that?)
• Applying model-checking to solve queries on semistructured data

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)