Fabian M. Suchanek Information Extraction by Reasoning 67
Semantic IE You are here 2 Source Selection and Preparation Entity Recognition Entity Disambiguation singer Fact Extraction Reasoning Instance Extraction singer Elvis
Problems in extending a KB 3 “Hermione is married to Ron”
Problems in extending a KB 4 “Hermione is married to Ron” +  ? “Ron”
Problems in extending a KB 5 “Hermione is married to Ron” +  ? “Ron” ? ?
Problems in extending a KB 6 “Hermione is married to Ron” +  ? “Ron” ? ? killed  ? spouse  ?
Problems in extending a KB killed  ? spouse  ? 7 “Hermione is married to Ron” +  ? “Ron” ? ? IE faces at least 3 problems: • Understand patterns • Disambiguate entities • Resolve inconsistencies (“X is married to Y” = killed(X,Y)?) (“Ron”= Ronald Reagan?) (Reagan married to 2 women?)
Problems in extending a KB killed  ? spouse  ? 8 “Hermione is married to Ron” +  ? “Ron” ? ? • Disambiguation avoids inconsistency • Pattern helps disambiguation • Consistency  helps finding pattern => Solve all 3 problems together!
Idea: Solve all problems together transform everything to logical formulas Find best conclusion 9 “Hermione is married to Ron” “Ron” Implications>13
10 likes envies likes Refresh: Atoms and KBs An  atom    is a propositional statement.   is a  positive literal , and  is a  negative literal . The  polarity  is positive for  , and negative for   . A positive literal  holds  (“is true”) in a KB, if it appears in the KB. A negative literal    holds  in a KB if   does not hold.   ?   ?
11 likes envies likes Refresh: Atoms and KBs An positive literal  holds  (“is true”) in a KB, if it appears in the KB. A negative literal    holds  in a KB if   does not hold. A conjunction    holds  in a KB, if all of its elements hold.   ?   ?
12 likes envies likes Refresh: Implications An positive literal  holds  (“is true”) in a KB, if it appears in the KB. A negative literal    holds  in a KB if   does not hold. A conjunction    holds  in a KB, if all of its elements hold. An implication    holds  in a KB if   does not hold or   holds.
13 likes envies likes Def: Rules, Disjunctions, Clauses An  implication  (also:  rule is equivalent to a  disjunction   which we also write as a  clause   . “at least one of  these has to hold” is equivalent to is equivalent to