准确的描述三重商店资源的描述是否被禁用？

假设我有一些具有某些类（：A和：B）和对象属性（：具有域A和范围B的x）的本体，并且我将该本体导入三重存储中，而没有推理机制或让我们推断禁用。准确的描述三重商店资源的描述是否被禁用？

之后，如果我插入一个三进三店这样的：

<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.

关于_what_的有效性和正确性？具有禁用推理功能的三重商店不会推断出您提及的两个三元组，因此它们不会出现在查询结果中。但这并不意味着查询结果无效或不正确。 –

对于一个完整的答案 - 如果没有启用推断这两个额外的公理是必要的 - 你想要的表现力至少包括域和值域公理的假设下。

2016-07-30 14:29:41 Ignazio

回答