if I have an annotation for "treatment in disease x" should a search for treatments of an "is_a" parent of "disease x" bring back this treatment?

[sierra-moxon]

Tutorial Request:

I'd like to better understand which implied relationships can be returned from a typical web-based search that is ontologically aware.

For example:
If I have a search interface that is looking for treatments for "bone disease", should treatments for "idiopathic juvenile osteoporosis" be returned as well?

What are the limits here? Are the allowable assumptions for a search interface different than what is reasoned in a more formal way via a reasoner?

Suggested materials

0000-0002-8719-7760

0000-0002-8719-7760