Rdf 通过课程推断师生关系？

我创建了一个关于大学的本体论，就像在

有学生、教授和课程的课程和实例。有“研究”和“教学”属性，将学生和教授与他们的班级联系起来

<ObjectPropertyAssertion>
    <ObjectProperty IRI="#teaches"/>
    <NamedIndividual IRI="#Cadbury"/>
    <NamedIndividual IRI="#EL101"/>
</ObjectPropertyAssertion>

<ObjectPropertyAssertion>
    <ObjectProperty IRI="#studies"/>
    <NamedIndividual IRI="#Hechinger"/>
    <NamedIndividual IRI="#EL101"/>
</ObjectPropertyAssertion>

确定赫钦格是吉百利的学生是我应该能够在Protege中用猫头鹰推理或推理来做的事情吗

确定赫钦格是吉百利的学生是我应该能够在Protege中用猫头鹰推理或推理来做的事情吗

如果您有一个isStudentOf属性，那么您可以定义使该推理工作的公理。例如，在本例中，您希望断言

研究&bullet教授-1

是isStudentOf的子属性。也就是说，如果一个学生学习一门课程，然后课程由某位教授教授，那么这个学生就是该教授的学生。以下是Protege的外观：

以下是本体，您可以将其加载到Protege中：

@前缀：。
@前缀ex:。
@前缀rdf:。
@前缀owl:。
@前缀xsd:。
@前缀rdfs:。
例如：owl:ObjectProperty的isstudento；
猫头鹰：不动产海纳西姆（例如：研究）。
研究owl:ObjectProperty。
_：b0猫头鹰：与ex:相反。
猫头鹰：东西，猫头鹰：名字是个人。
猫头鹰：本体论。
例如：他把一只猫头鹰：东西，猫头鹰：命名为个人；
例：研究例：EL101。
教一个owl:ObjectProperty。
例：吉百利猫头鹰：东西，猫头鹰：名字；个人；
教英语。

如果没有进一步的公理/规则，标准OWL推理机无法推断出这一点。@AKSW谢谢。作为一名通用（生物信息学）程序员，axiom/规则创建是我一两天就能学到的东西吗？你有推荐的培训资源吗？太好了。我将你的建议添加到我现有的本体中，方法是在（链）的超级属性部分键入“studies o inverse（teachs）…”，就像你的第一个屏幕截图一样。你的答案末尾是乌龟语法吗？我仍然在熟悉不同的OWL序列化。@MarkMiller代码片段是Turtle。OWL有一些序列化：OWL/XML、FunctionalSyntax、DL语法和到RDF的映射。不过，RDF只是一个数据模型，所以它必须有一些序列化（例如，RDF/XML、Turtle/N3、N-Triples）。因此，代码片段是OWL本体的RDF映射的序列化。