问题描述
以下说法是否可行？
:a rdfs:subPropertyOf :b
:b rdfs:domain :aDomain
Thus,:a rdfs:domain :aDomain
解决方法
这两种说法是否可行？
:a rdfs:subPropertyOf :b .
:b rdfs:domain :aDomain .
当然。第一个声明某事物的每个 :a 也是 :b，第二个声明 :b 的每个对象都是一个 :aDomain。
这个说法可行吗？
:a rdfs:domain :aDomain .
是的，它声明 :a 的每个对象都是一个 :aDomain。
前两个陈述是否暗示了这一点，这意味着将这个陈述添加到已经包含这两个陈述的图表中不会改变关于已知个体的任何推断？是的。在第一种情况下，作为 :a 的对象也意味着也是 :b 的对象，因此是 :aDomain，这意味着 :a 的对象是 { {1}}，正如声明所说。