The most typical kind of ontology for the Web has a taxonomy and a set of inference rules. 网上典型的知识本体都有一个分类法和一组推理规则。
Taking advantage of the multiple inheritances and inverse slots in the ontology logic, the instances of these two ontologies were connected. 并利用知识本体架构中多重继承的关系,以及反转属性的连结,将知识实例在两领域知识本体间互相对应。