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