Semantic Consistency Checking in Building Ontology from Heterogeneous Sources

Algorithm 1

Semantic consistency checking.

Require:  𝐼, // W-graph semantic model

 ⟨𝐺,𝜈⟩ // semantic segment expressed by W-query

Ensure:  consistent or inconsistent

 encoding  𝐼  to  𝐾_𝐼; // according to Definition 14

 encoding  ⟨𝐺,𝜈⟩  to  Ψ_𝜈(𝐺); // according to Definition 16

 𝑆={𝑠∣𝑠⊨Ψ_𝜈(𝐺)}; // model checking

 if  𝑆 is emptyset  then

  return  consistent;

 else

  return  inconsistent;

 end if