在禁用推理的三重商店中，如何准确描述资源？

Question

假设我有一个带有一些类（：A和：B）的本体和一个对象属性（：x，它有域A和范围B），我将该本体导入到一个没有推理机制的三元组中或者假设禁用推理。

之后，如果我将三元组插入三元组中，如下所示：

<http://instanceOfAClass.com> :x <http://instanceOfBClass.com>

对于两个实例的有效和正确描述，可以仅将上述三元组插入到http://instanceOfAClass.com类型为A且http://instanceOfBClass.com类型为B的状态，或者是否为还需要添加以下两个三元组吗？

<http://instanceOfAClass.com> rdf:type :A.
<http://instanceOfBClass.com> rdf:type :B.

Answer 1

对于一个完整的答案 - 假设你所希望的表达性至少包括域和范围公理 - 如果没有启用推理，则需要两个额外的公理。