The most typical kind of ontology for the Web has a taxonomy and a set of inference rules.

• 网上典型的知识本体都有一个分类法和一组推理规则。