禁用推理的三元组存储中的资源描述必须有多准确？
How accurate has to be a description of resources in a triple store with inference disabled?
假设我有一个 ontology 和一些 类（:A 和 :B）和一个对象 属性（:x 具有域 A 和范围 B ) 然后我将 ontology 导入到没有推理机制的三重存储中，或者假设禁用了推理。
之后，如果我像这样将一个三元组插入到三元组存储中：
<http://instanceOfAClass.com> :x <http://instanceOfBClass.com>
为了对这两个实例进行有效且正确的描述，是否可以只插入上面的三元组来说明 http://instanceOfAClass.com is of type A and http://instanceOfBClass.com 是 :B 类型，或者是否有必要添加以下两个三元组作为嗯？
<http://instanceOfAClass.com> rdf:type :A.
<http://instanceOfBClass.com> rdf:type :B.
要获得完整的答案 - 假设您所需的表达能力至少包括域和范围公理 - 如果未启用推理，则两个额外的公理是必需的。
假设我有一个 ontology 和一些 类（:A 和 :B）和一个对象 属性（:x 具有域 A 和范围 B ) 然后我将 ontology 导入到没有推理机制的三重存储中，或者假设禁用了推理。
之后，如果我像这样将一个三元组插入到三元组存储中：
<http://instanceOfAClass.com> :x <http://instanceOfBClass.com>
为了对这两个实例进行有效且正确的描述，是否可以只插入上面的三元组来说明 http://instanceOfAClass.com is of type A and http://instanceOfBClass.com 是 :B 类型，或者是否有必要添加以下两个三元组作为嗯？
<http://instanceOfAClass.com> rdf:type :A.
<http://instanceOfBClass.com> rdf:type :B.
要获得完整的答案 - 假设您所需的表达能力至少包括域和范围公理 - 如果未启用推理，则两个额外的公理是必需的。