Ontological modeling and analysis of experimentally or clinically verified drugs against coronavirus infection