rdf - OWL Ontology 中子类级别的推理关系

Question

在我的本体中，我在父类级别描述了关系。我希望该父级的所有子类都继承这些关系。例如。如果我的本体中有以下三元组：

<Car, *hasComponent*, Wheel>  
<Sedan, *subClassOf*, Car>  
<SUV, *subClassOf*, Car>  

我想推断以下三元组：

<Sedan, *hasComponent*, Wheel>  
<SUV, *hasComponent*, Wheel>  

推断这些三元组的建议方法是什么？我们计划将本体存储在三重存储中。

谢谢