7 IR models based on predicate logic
7 IR models based on predicate logic
7 IR models based on predicate logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<str<strong>on</strong>g>IR</str<strong>on</strong>g> <str<strong>on</strong>g>models</str<strong>on</strong>g> <str<strong>on</strong>g>based</str<strong>on</strong>g> <strong>on</strong> <strong>predicate</strong> <strong>logic</strong> 5<br />
Ontologies<br />
Thesaurus<br />
polyg<strong>on</strong><br />
regular<br />
polyg<strong>on</strong><br />
triangle quadrangle ...<br />
rectangle<br />
regular<br />
triangle<br />
square<br />
thesaurus knowledge:<br />
can be expressed in propositi<strong>on</strong>al <strong>logic</strong><br />
square = quadrangle ∧ regular-polyg<strong>on</strong><br />
descripti<strong>on</strong> <strong>logic</strong>s<br />
• instances of c<strong>on</strong>cepts<br />
• roles (relati<strong>on</strong>ships) between c<strong>on</strong>cepts/instances<br />
Norbert Fuhr