Retrieval Using OKBC
KR systems vary widely in their inference ability
- Simple lookup
- Taxonomic reasoning
- Full first order logic theorem proving
- Forward chaining
Inference levels in OKBC
- Direct � Directly asserted values
- Taxonomic � Directly asserted plus inherited values
- All-Inferable � Values inferable by any means
Must return at least the values specified