How accurate has to be a description of resources in a triple store with inference disabled?
<p>Lets say I have an ontology with some classes (:A and :B) and an object property ( :x that that have the domain A and the range B) and I import that ontology into a triple store with no inference mechanism or lets say with inference disabled. </p>

<p>After that if I insert a triple into the triple store like this:</p>

<pre><code>&lt;http://instanceOfAClass.com&gt; :x &lt;http://instanceOfBClass.com&gt;
</code></pre>

<p>For a valid and a correct description of the two instances is it ok to insert only the above triple to state that <a href="http://instanceOfAClass.com" rel="nofollow">http://instanceOfAClass.com</a> is of type A and <a href="http://instanceOfBClass.com" rel="nofollow">http://instanceOfBClass.com</a> is of type :B, or is it necessary to add the following two triples as well?</p>

<pre><code>&lt;http://instanceOfAClass.com&gt; rdf:type :A.
&lt;http://instanceOfBClass.com&gt; rdf:type :B.
</code></pre>