如何使用rdfrdfs表达一个类的每个实例都有一个属性（hasName），并以Literal作为对象？

Question

我想用rddffs来模拟本体知识。因此，我定义A是一个类，它对应于我的第一个三段式。然后，我想说（这个类的实例）总是有一个叫做 "hasName "的属性，并且这个声明中的对象来自类型Literal（String）。我的三元组在Turtle语法中是这样的。

<http://www.example.com/A> <rdf:type> <rdfs:Class> .
<http://www.example.com/A> <http://www.example.com/hasName> <rdfs:Literal> .

第二个三元组是否能表达我之前所说的意思？或者它的意思是什么？

先谢谢你

Answer 1

你的三联说这个类是用Literal IRI注释的。

要表达属性的范围，你需要一个范围公理。W3C的OWL到RDF的映射页面显示了该的三段式是什么样子的。

要表达A的每个实例都有一个属性，你需要让A成为一个存在限制的子类（同上页有例子）。