如何用有效的owl语法表达以下句子？

Question

所有数学课程仅由David教授（不得参与任何其他讲师）。

<owl:Class rdf:ID="Math">
<owl:Restriction>
<owl:onProperty uni:Resource="#isTaughtBy"/>
<owl:allValuesFrom uni:Resource="#9432"/>
</owl:Restriction>
</owl:Class>

以上代码似乎无效，为什么我尝试绘制图表请帮忙。 如果有人想知道＃9432它指的是大卫

Answer 1

<owl:Class rdf:ID="Math">
<rdfs:subClassOf>
    <owl:Restriction>
        <owl:onProperty rdf:resource="#isTaughtBy"/>
        <owl:hasValue>
            <owl:Class>
                <uni:Name>david</uni:Name>
            </owl:Class>
        </owl:hasValue‌​>
    </owl:Restriction>
</rdfs:subClassOf>

graph produced by rdf validator