A Study on Reasoning based on Herb and Formula Ontologies