owl - Jena Reasoner 和属性推理

Question

我正在尝试使用 Jena OWL Reasoner，我正在使用的示例本体定义

<owl:ObjectProperty rdf:about="ex:model#index">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
    <rdfs:domain rdf:resource="ex:model#Entity"/>
</owl:ObjectProperty>

<owl:Class rdf:about="ex:model#Entity">
<rdfs:subClassOf>
    <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
            <rdf:Description rdf:about="ex:model#EntityType"/>
            <owl:Restriction>
                <owl:onProperty rdf:resource="ex:model#children"/>
                <owl:qualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">10</owl:qualifiedCardinality>
                <!-- All Entity2 items should transitivley get  ex:model#index -->
                <owl:onClass rdf:resource="ex:model#Entity2"/> 
            </owl:Restriction>
        </owl:intersectionOf>
    </owl:Class>
</rdfs:subClassOf>
</owl:Class>

我希望为所有 skos 推断索引值：memberList 项目无法使其工作

1. 这甚至可能吗？
2. 如何使用 Jena 实现这一目标。