这是斯坦福开发的本体建模工具，可以支持可视化，以及本体关联关系的推理。