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

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

上面的代码似乎无效，为什么我试图绘制图形请帮助。 如果有人对#9432感到疑惑，那么它指的是大卫

<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>

大卫

---

您是否尝试过自己制作任何示例？您想要axiom MathClass⊑ ∀我受了。{David}⊓ ∃.我认为这是不对的。也就是说，Math类的每个实例都与属性IStughtby to z相关。我认为大卫的说法不对。即使是这样，它也会说这门课是由大卫教授的，但并不是说它不是由其他人教授的。一门课程仍然可以由多位讲师在protégé教授，它将是MathClass子类（仅由{David}教授）和（由一些{David}教授）。我建议您使用protégé或其他基于OWL的工具，或者至少使用人类可读的rdf语法，而不是编写OWL本体的rdf图映射的rdf/xml序列化。这可能是一次更愉快的经历。

<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>