Querying with Ontological Terminologies And their Annotations