Skip to main content
. Author manuscript; available in PMC: 2010 Sep 1.
Published in final edited form as: Web Semant. 2009 Sep 1;7(3):235–251. doi: 10.1016/j.websem.2009.04.001

Fig. 4. Kinds of semantic verification inferences.

Fig. 4

(a) Multiple-entity correspondences; (b) crisscross correspondences; (c) disjointness-equivalence contradiction; (d) subsumption incompleteness: 〈a:Pocket, b:Novel〉 is kept, while 〈a:Science, b:Recording〉 is eliminated; (e) domain and range incompleteness: 〈a:Author, b:Writer〉 is kept, while 〈a:Author, b:Publishing_House〉 is eliminated.